Learn EDR Internals: Research & Development From The Masters
Stuck in Tutorial Hell? Learn Backend Dev the Right Way
Overview
Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
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.
Syllabus
[PLanQC'25] Towards Quantum Multiparty Session Types
Taught by
ACM SIGPLAN