Quantum Circuit Design Automation

Videos from BIRS Workshop

, University of South Carolina
- 09:45
Modalities in Proto-Quipper
Watch video | Download video: 202406030915-Fu.mp4 (46M)
, Los Alamos National Laboratory
- 10:15
Minimal entanglement for injecting diagonal gates
Watch video | Download video: 202406030945-Schoute.mp4 (46M)
, Polish Academy of Sciences
- 09:30
Efficiency of quantum gate-sets and random t-designs
Watch video | Download video: 202406040900-Sawicki.mp4 (37M)
, Simon Fraser University
- 10:00
Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algorithm
Watch video | Download video: 202406040930-Stinchcombe.mp4 (31M)
, Inria
- 11:00
Quantum circuit completeness
Watch video | Download video: 202406041030-Perdrix.mp4 (40M)
, UC Davis
- 11:30
Breaking the cubic barrier in the Solovay-Kitaev algorithm
Watch video | Download video: 202406041100-Kuperberg.mp4 (44M)
, Simon Fraser University
- 10:00
Efficiently achieving fault-tolerant qudit quantum computation via gate teleportation
Watch video | Download video: 202406050930-deSilva.mp4 (39M)
, University of Chicago
- 11:00
Verifying Graphical Quantum Calculi in a Proof Assistant
Watch video | Download video: 202406051030-Rand.mp4 (32M)
, Photonic Inc.
- 11:30
Catalytic Embeddings
Watch video | Download video: 202406051100-Glaudell.mp4 (83M)
, Technical University of Munich
- 09:30
The Munich Quantum Toolkit (MQT) - A Summary of Design Automation Tools and Software for Quantum Computing
Watch video | Download video: 202406060900-Quetschlich.mp4 (28M)
, University of Amsterdam
- 10:00
Improving the Fidelity of CNOT Circuits on NISQ Hardware
Watch video | Download video: 202406060930-Li.mp4 (53M)