Recent News
Water Science Communication Fellowship lets undergraduates get feet wet in research
April 17, 2024
Alumnus endows ‘station of innovation’ parking space for the School of Engineering
April 15, 2024
Undergraduates win awards at American Nuclear Society student conference
April 12, 2024
Making waves: Undergraduate combines computer science skills, love of water for summer internship
April 9, 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.