Events
Distinguished Lecture SeriesQuantum Hoare Logic: Towards Automatic Verification of Quantum Programs |
|
||
Tuesday, April 29, 2025, 10:30am - 12:00pm |
|||
Speaker: Professor Mingsheng Ying
Bio
Mingsheng Ying is a Distinguished Professor at the Centre for Quantum Software and Information, University of Technology Sydney, Australia. His research interests include quantum computing, programming theory, and logics in artificial intelligence. He has authored the books Model Checking Quantum Systems: Principles and Algorithms (Cambridge University Press, 2021), Foundations of Quantum Programming (Morgan Kaufmann, 2016), and Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs (Springer-Verlag, 2001). He currently serves as the inaugural (Co-)Editor-in-Chief of the ACM Transactions on Quantum Computing.
Location : CoRE 301
Committee:
Event Type: Distinguished Lecture Series
Abstract: Leading technology companies, including Google, IBM, Microsoft, Intel, and Amazon, are actively advancing quantum computing by developing both hardware and software. However, programming quantum systems remains highly error-prone, as human intuition is naturally aligned with classical computation rather than quantum mechanics.In this lecture, we introduce quantum Hoare logic (QHL) — a formal framework for reasoning about the correctness of quantum programs. We will explore how QHL facilitates rigorous verification and discuss state-of-the-art tools built upon this logic. Finally, we will examine practical applications of these verification methods and their potential to enhance the reliability of quantum software.
Organization:
Contact Professor Lirong Xia
Join Zoom Meeting
https://rutgers.zoom.us/j/2014444359?pwd=WW9ybFNCNVFrUWlycHowSHdNZjhzUT09
Meeting ID: 201 444 4359
Password: 550978