Recent News
Computer Science undergraduate honored for cybersecurity research
February 20, 2025
Right on track: Researchers use new tech to improve railroad safety
February 14, 2025
UNM to collaborate with UC Berkeley on $10M USDOT grant for rural autonomous vehicle freight program
February 3, 2025
López honored as outstanding UW alum for ‘Creating a Healthier and More Just World’
January 29, 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.