Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a 24-minute conference talk from PLanQC 2025 that introduces Quantum Multiparty Session Types (QMPSTs), a novel typing discipline extending traditional Multiparty Session Types to the quantum domain. Learn how researchers Ivan Lanese, Ugo Dal Lago, and Vikraman Choudhury from the University of Bologna and INRIA have developed this framework to specify and verify quantum protocols while guaranteeing both traditional communication safety properties and quantum-specific requirements like no-cloning and no-deleting. The presentation demonstrates the practical application of QMPSTs through verification of Quantum Teleportation protocols and references their complete research paper (to appear in SEFM'24 proceedings) which contains additional metatheoretic results and examples of quantum protocols.
