Recent News
Two School of Engineering students receive Tau Beta Pi scholarships
September 6, 2024
Engineering graduate student awarded New Mexico Space Grant Consortium fellowship
September 3, 2024
UNM’s López wins one of six inaugural NSF TRAILBLAZER awards for wildfire project
August 23, 2024
Two UNM faculty and their students named 2024 Faculty Mentored Research Awardees
August 20, 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.