YoVDO

An Algebraic Language for Specifying Quantum Networks

Offered By: ACM SIGPLAN via YouTube

Tags

Quantum Computing Courses Formal Verification Courses Algebraic Structures Courses Quantum Networks Courses Denotational Semantics Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a groundbreaking 17-minute video presentation from PLDI 2024 introducing BellKAT, an innovative specification language for quantum networks. Delve into the challenges of quantum network protocols and discover how BellKAT, based on Kleene algebra, addresses resource competition and formal reasoning. Learn about the BellSKA algebraic structure, BellKAT's denotational semantics, and its sound and complete equational theory for verifying network protocols. Gain insights into the expressiveness of BellKAT through a prototype tool demonstration, showcasing practical network optimization and verification techniques. Presented by researchers from USI Lugano, Yale University, and the University of Chicago, this talk offers a deep dive into the future of quantum network specification and protocol verification.

Syllabus

[PLDI24] An Algebraic Language for Specifying Quantum Networks


Taught by

ACM SIGPLAN

Related Courses

Intro to Computer Science
University of Virginia via Udacity
Quantum Mechanics for IT/NT/BT
Korea University via Open Education by Blackboard
Emergent Phenomena in Science and Everyday Life
University of California, Irvine via Coursera
Quantum Information and Computing
Indian Institute of Technology Bombay via Swayam
Quantum Computing
Indian Institute of Technology Kanpur via Swayam