Recent News
2025 Open House
April 18, 2025
A recipe for sustainable 3D printing
April 15, 2025
Serendipitous discovery could lead to more efficient catalysts
April 9, 2025
Students, donors gather to celebrate success in Mechanical Engineering
April 7, 2025
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.