Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
This conference talk presents the Quantum Abstract Machine (QAM), a model developed to support the abstract yet accurate design and functional verification of quantum communication protocols. Explore how researchers from the University of Maryland and Iowa State University created conceptual tools for quantum communication systems that are accessible to non-specialists while correctly capturing quantum phenomena. Learn about the QAM's operations, which correspond to well-known quantum circuits but are given direct abstract semantics similar to Berry's and Boudol's Chemical Abstract Machine. Discover how the presented semantics can be used to model and reason about existing quantum communication protocols through practical examples. This 19-minute presentation was delivered at the PLanQC 2025 workshop on January 25, 2025, sponsored by ACM SIGPLAN.
