Recent News
UNM chemical engineer part of $36.3 million in Department of Energy clean-energy projects
March 22, 2024
UNM researcher awarded Sandia seed funding for counter-bioterrorism proposal
March 22, 2024
In the news: Ferenchak’s expertise with pedestrian safety popular in the media
March 14, 2024
Schamiloglu selected as editor in chief of ‘IEEE Transactions on Plasma Science’
March 11, 2024
News Archives
Computer science student presents at national meeting
April 1, 2022 - By Kim Delker
Warren Craft, a graduate student in the Department of Computer Science, recently presented a paper virtually at the American Physical Society (APS) March meeting, which was held March 14-18 in Chicago.
Craft presented “Verifying Quantum Phase Estimation using Prove-It,” which describes an interactive proof assistant for organizing and verifying mathematical knowledge to formally prove the success probability guarantee of the quantum phase estimation algorithm.
Co-authors on the paper were Wayne M. Witzel and Joaquín E, Madrid Larrañaga, both of Sandia National Laboratories; Robert D. Carr, a research professor in computer science at UNM; and Deepak Kapur, distinguished professor of computer science at UNM, who also is Craft’s Ph.D. advisor.
The paper was presented in the Quantum Characterization, Verification, and Validation: Benchmarking and Tomography session.