Lectures
Explore our collection of quantum computing lectures, ranging from introductory topics to advanced research. Learn from experts across academia and industry.
-
Compilation & Optimization Prateek P. Kulkarni84 | How Many Shots Does It Take? Rethinking Resource Allocation on Noisy Quantum Computers
This talk presents a noise-aware framework for allocating quantum circuit shots, reducing the execution cost, energy consumption, and estimation error of near-term quantum workloads.
- Systems & Architecture Swamit Tannu
83 | Building the FTQC Stack: Architectural Principles for Performance and Scalability in Fault-Tolerant Quantum Computing
This talk presents systems-level architectural principles and compiler techniques for improving cycle time, reducing cycles per gate, and lowering gate count in scalable fault-tolerant quantum computing.
-
Physics & Simulation Vlatko Vedral82 | Can Quantum Mechanics and General Relativity Finally Unite?
This talk presents experiments that probe the overlap between quantum physics and general relativity, and discusses the prospect of definitive tests of the quantum nature of the gravitational field.
-
Algorithms & Theory Yunzhe Zheng81 | Magic Gate Teleportation: Structure, Useful Resource States, and Simpler Feedforward
This talk develops a theory of magic gate teleportation, revealing structural properties that identify useful resource states for non-Clifford gates and simplify the feedforward operations required for fault-tolerant computation.
#YunzheZheng #YaleUniversity #MagicGateTeleportation #NonCliffordGates #FaultTolerantQuantumComputing -
Compilation & Optimization Meng Wang80 | Building Efficient Fault-Tolerant Quantum Circuits: From Resource Optimization to Scalable Compilation
This talk presents techniques for reducing T-gate counts, Clifford gate counts, and compilation costs, together with a scalable framework for efficiently compiling large fault-tolerant quantum circuits.
-
Error Correction & Mitigation Chen Zhao79 | Towards Ultra-High-Rate Quantum Error Correction with Reconfigurable Atom Arrays
This talk presents a co-designed family of ultra-high-rate quantum error correction codes for reconfigurable neutral atom arrays, with efficient syndrome extraction, atom rearrangement, and promising practical logical error rates.
-
Algorithms & Theory Siyi Wang78 | Quantum Arithmetic: From Fundamental Building Blocks to Practical Quantum Algorithms
Arithmetic circuits are among the most fundamental building blocks of quantum computing. This talk introduces the principles behind quantum arithmetic circuit design and the key challenges in optimizing quantum addition, subtraction, multiplication, and division circuits for practical quantum algorithms.
-
Algorithms & Theory Ritajit Majumdar77 | Making quantum computing practical: reducing noise and overhead through intelligent circuit cutting
Noise in current quantum devices poses a major obstacle to running large and meaningful quantum algorithms. One promising approach to overcome hardware limitations is circuit cutting, where large quantum circuits are decomposed into smaller pieces that can be executed more reliably. However, this comes at a cost: the number of required circuit executions can grow exponentially with the number of cuts, making naïve approaches impractical. In this talk, we explore two complementary directions that make circuit cutting significantly more efficient and practical on today’s quantum hardware. First, we show how combining circuit cutting with operator backpropagation (OBP) can strategically reduce circuit depth, thus controlling the growth in execution overhead. Our approach formulates this as an optimization problem, enabling substantial reductions in resource requirements for common quantum workloads without sacrificing accuracy. Building on this, we examine a key real-world insight: noise in quantum hardware is not uniform. We present a noise-aware framework that uses this structure to guide circuit cutting strategies. By aligning subcircuits with low-noise regions and carefully relaxing device constraints, we show that it is possible to achieve dramatic reductions in execution cost while preserving fidelity, even for larger systems where standard methods break down. Together, these works highlight a broader message: making quantum computing practical is not only about better hardware alone, but also about smarter ways of adapting algorithms to real devices. The talk will introduce the key ideas intuitively, discuss the main techniques, and provide insights into how theory and systems considerations come together in modern quantum computing research.
-
Machine Learning & AI Soohyun Park76 | Quantum AI: Algorithms and Applications
This course covers various Quantum AI technologies based on Parameterized Quantum Circuits (PQC), one of the quantum technologies that has recently attracted significant attention. To facilitate a clear understanding of PQC-based quantum AI, the course first introduces quantum neural network architectures by integrating fundamental concepts of classical artificial neural networks with quantum computing theory. Building upon this foundation, the course then explores advanced Quantum AI models, including Quantum Reinforcement Learning (QRL), Quantum Federated Learning (QFL), and Quantum Convolutional Neural Networks (QCNNs). Finally, through representative research cases in which Quantum AI algorithms are applied across diverse domains, the course examines the advantages of Quantum AI technologies and their potential for future research directions.
-
Error Correction & Mitigation Daniel Bochen Tan75 | Syndrome Extraction Circuits with Near-Optimal Depths for Practical Quantum Error Correcting Code Families
Fault-tolerant quantum computing relies on low-depth and high-fidelity syndrome extraction for quantum error correcting codes. We propose a scheduling strategy for syndrome extraction circuits for the broad class of quasi-abelian lifted-product codes, encompassing both hypergraph product and bicycle codes. Our approach constructs syndrome extraction circuits with CNOT depths no more than one layer above the fundamental lower bound, frequently achieving optimal depth. A pipelined variant further reduces the average depth per round, and the strategy generalizes naturally to higher-dimensional product codes. This scheduling framework enables computational speedups for quantum computing architectures built on these codes, all while preserving high-fidelity error correction.
- Applications Gabriele Compostella
74 | Quantum Computing: real-world industry use cases
Recent advances in quantum algorithms and hardware have enabled the exploration of quantum techniques for industrially relevant challenges in optimization, simulation and machine learning. This talk will highlight IBM’s latest advancements in quantum hardware and present early experimental results from applications across multiple industry domains. Attendees will gain insight into the motivations driving adoption, the classes of problems quantum computing can tackle and the opportunities it offers for shaping the future of industrial innovation.
-
Algorithms & Theory Yuan Liu73 | Quantum Computing with Oscillators and Qubits
Hardware platforms based on native continuous-variable (CV, oscillator) systems have attracted growing attention as an alternative to discrete-variable (DV, qubit) quantum systems. In this talk, I will highlight how hybrid CV-DV hardware offers a powerful computational paradigm by combining the complementary strengths of both CV and DV processors. I will present novel quantum control techniques and algorithms for CV-DV systems that enable new opportunities and applications in quantum error correction, quantum simulation, and quantum sensing. I will also highlight software tools for benchmarking and compiling these novel processors.
-
Error Correction & Mitigation Yipeng Huang72 | From reconfigurable code-efficient ansatzes toward useful quantum computing
The full impact of quantum computing (QC) will depend on quantum error-correcting codes (QECCs). This talk explores whether useful QC might be ushered in without waiting for the arbitrarily low logical error rates enabled by integrating millions of physical qubits. Instead, a universal set of quantum operations might be enabled by cleverly switching among a wide family of QECCs, some codes that provide precise rotations, while others provide parallel operations. Based on this idea, I present recent work on scheduling hardware operations for such a scheme and discuss how it may affect QC applications in Hamiltonian simulation. The exploration sheds light on the question: How far away is useful QC?
-
Algorithms & Theory Jerome Busemeyer71 | Using Quantum Probability to Understand Contextual Reasoning
What kind of logic do people use to reason about natural events? What kind of probability theory best describes how people make inferences and decisions under uncertainty?
- General Anupam Chattopadhyay
70 | The Brave New (Quantum) World
Major advances across all the design stack of Quantum computing – algorithm, software, and hardware – has brought us to a realm where, it is impossible to ignore the effect of Quantum computing in the world around us.
- Error Correction & Mitigation Austin Fowler
69 | TQEC Tool Overview
Compiling a quantum algorithm to run on a quantum computer consisting of a 2D array of qubits with only nearest neighbor interactions is a complex problem.
- Compilation & Optimization Sebastian Feld
68 | Bridging Hardware and Software: Optimizing Quantum Compilation and Benchmarking for Scalable Quantum Systems
This lecture discusses how integrated hardware–software co-design can address key challenges in scalable quantum computing.
- Software Tools & Verification Zhicheng Zhang
67 | Quantum Recursive Programming: Verification and Implementation
Quantum recursive programming has recently been introduced for describing sophisticated and complicated quantum algorithms in a compact and elegant way.
-
Networking & Communication Dawei Ding66 | Coordinating Decisions via Quantum Telepathy
Quantum computing lecture from the QuCS series.
-
Networking & Communication Waild Saad65 | Scaling Quantum Communication Networks
Quantum computing lecture from the QuCS series.
-
Error Correction & Mitigation Tzu-Hsuan Huang64 | Decoder for quantum error correction codes: from the perspective of classical error correction codes
Quantum error correction has become a crucial and popular topic, especially given its essential role in ensuring the scalability and reliability of quantum computers.
- Machine Learning & AI Ivana Nikoloska
63 | Engineer’s Guide to Machine Learning with Quantum Computers
Quantum computing lecture from the QuCS series.
-
Software Tools & Verification Yuxuan Du62 | Multimodal Learning for Cross-Platform Verification in Early-Stage Quantum Computing
Quantum computing lecture from the QuCS series.
- Software Tools & Verification Kanad Basu
61 | Efficient Quantum Verification Approaches.
Quantum computing lecture from the QuCS series.
-
Physics & Simulation Chunhao Wang60 | Quantum algorithms for simulating the dynamics of open quantum systems
Quantum computing lecture from the QuCS series.
- Software Tools & Verification Shaolun Ruan
59 | Achieve Explanable Quantum Computing Using Visualization
Quantum computing has made significant progress in recent years.
-
Applications Weitang Li53 | Quantum Computational Chemistry: Variational Quantum Eigensolver and the Design of Ansatz
Over the past decade, quantum computing has experienced remarkable growth and development, opening up new possibilities for simulating molecular properties.
-
Systems & Architecture Yufei Ding54 | Quantum Computing Systems: Challenges and Opportunities
The second quantum revolution, the transition from quantum theory to quantum engineering, is leading us toward practical quantum computing.
- Systems & Architecture Kaitlin Smith
55 | Scaling Quantum Computing Systems via Codesign
The full promise of quantum computation will only be realized if quantum devices scale.
- Software Tools & Verification Korbinian Kottmann
56 | ODEgen: Analytic Gradients of Quantum Pulse Programs
We introduce ODEgen, a new method for evaluating analytic gradients of quantum pulse programs and contrast it with the stochastic parameter-shift rule.
-
Hardware & Control Daniel Puzzuoli57 | Numerical Quantum Control: Scalable Gate Design and Calibration
The goal of numerical quantum control is to automate the gate design process, with the promise of rapid and flexible gate design for arbitrary systems.
-
Algorithms & Theory Mark Wilde58 | Variational Quantum Semi-definite Programming
Solving optimization problems is a key task for which quantum computers could possibly provide a speedup over the best known classical algorithms.
-
Physics & Simulation Xiantao Li52 | Open Quantum Systems in Quantum Computing
Quantum dynamics in real-world scenarios seldom stand alone; they occur under the continuous influence of surrounding environments.
-
Software Tools & Verification Prabhat Mishra51 | Design Automation for Quantum Computing
This talk will provide the full picture of design automation for quantum computing - from designing quantum algorithms and quantum circuits to quantum computing using physical quantum hardware.
-
Hardware & Control Archana Kamal49 | Quantum Reservoir Engineering for Fast and Scalable Entanglement Stabilization
High-fidelity entanglement is a prerequisite for almost any quantum information processing task.
-
Compilation & Optimization Evan McKinney48 | Quantum Circuit Decomposition and Routing Collaborative Design
Quantum computing lecture from the QuCS series.
-
Software Tools & Verification Tianyi Hao45 | Enabling High Performance Debugging for Variational Quantum Algorithms using Compressed Sensing
Quantum computing lecture from the QuCS series.
-
Machine Learning & AI Daniel Silver47 | Quantum Machine Learning on Current Quantum Computers
Quantum computing lecture from the QuCS series.
-
Algorithms & Theory Zichang He42 | Align or Not Align? Design Quantum Approximate Operator Ansatz (QAOA) with Applications in Constrained Optimization
Combinatorial optimization has been one of most promising use cases of the near-term quantum computers.
-
Compilation & Optimization Zheng Zhang43 | A Structured Method for Compilation of QAOA Circuits in Quantum Computing
Zheng (Eddy) Zhang is an Associate Professor at Rutgers University.
-
Applications Ricky Young and Mert Esencan44 | Quantum-Inspired Optimization for Real-World Trading by Icosa powered by gBraid
Quantum computing lecture from the QuCS series.
-
Hardware & Control Michael Goerz46 | Numerical Methods of Optimal Quantum Control
At the heart of the next-level quantum technology like quantum computing lies the problem of actively controlling the dynamics of a quantum system.
-
Applications Mitch Thornton50 | Quantum Oracle Synthesis with an Application to QRNG
Several prominent quantum computing algorithms—including Grover’s search algorithm and Shor’s algorithm for finding the prime factorization of an integer—employ subcircuits termed ‘oracles’ that embed a specific instance of a mathematical function into a corresponding bijective function that is then realized as a quantum circuit representation.
-
Algorithms & Theory Giulio Chiribella41 | The Nonequilibrium Cost of Accuracy
Accurate information processing is crucial both in technology and in nature.
-
Systems & Architecture Thomas Alexander39 | Control Systems & Systems Software @ IBM Quantum
The field of quantum computing has rapidly developed around a cloud model, in which users receive a remote handle to a quantum system, compile (transpile) quantum programs (circuits) for the target system, and then remotely invoke an execution on the system from which they then fetch the results of.
-
Algorithms & Theory Ruslan Shaydulin40 | Parameter Setting in Quantum Approximate Optimization of Weighted Problems
Quantum Approximate Optimization Algorithm (QAOA) is a leading candidate algorithm for solving combinatorial optimization problems on quantum computers.
-
Compilation & Optimization Daniel Egger38 | Pulse-based Variational Quantum Eigensolver and Pulse-Efficient Transpilation
State-of-the-art noisy digital quantum computers can only execute short-depth quantum circuits.
- Compilation & Optimization Ji Liu
37 | Elevating Quantum Compiler Performance through Enhanced Awareness in the Compilation Stages
Quantum compiler plays a critical role in practical quantum compilation, particularly in the Noise-Intermediate-Scale-Quantum (NISQ) era.
- Machine Learning & AI Samuel Yen-Chi Chen
36 | Hybrid Quantum-Classical Machine Learning with Applications
The development of machine learning (ML) and quantum computing (QC) hardware has generated a lot of interest in creating quantum machine learning (QML) applications.
- Applications Zhu Han
35 | Hybrid Quantum-Classic Computing for Future Network Optimization
Benefited from the technology development of controlling quantum particles and constructing quantum hardware, quantum computation has attracted more and more attention in recent years.
-
Machine Learning & AI Zhirui Hu34 | Optimize Quantum Learning on Near-Term Noisy Quantum Computers
In recent years, there has been a significant breakthrough in the development of superconducting quantum computers, with IBM’s 433-qubit quantum computer being a prime example of the progress made in addressing scalability issues.
-
Algorithms & Theory Lia Yeh33 | Quantum Graphical Calculi: Tutorial and Applications
Quantum computing and quantum communication provide potential speed-up and enhanced security compared with their classical counterparts.
-
Software Tools & Verification Yuan Feng32 | Hoare logic for verification of quantum programs
Quantum computing and quantum communication provide potential speed-up and enhanced security compared with their classical counterparts.
- Applications Marco Pistoia
31 | Quantum Computing and Quantum Communication in the Financial World
Finance has been identified as the first industry sector to benefit from quantum computing, due to its abundance of use cases with exponential complexity and the fact that, in finance, time is of the essence, which makes the case for solutions to be computed with high accuracy in real time.
-
Algorithms & Theory Thinh Dinh30 | Efficient Hamiltonian Reduction for Scalable Quantum Computing on Clique Cover/Graph Coloring Problems in SatCom
Clique cover and graph coloring are complementary problems which have many applications in wireless communications, especially in satellite communications (SatCom).
- Algorithms & Theory He Li
29 | Rethinking Most-significant Digit-first Arithmetic for Quantum Computing in NISQ Era
In recent years, quantum computers have attracted extensive research interest due to their potential capability of solving problems which are not easily solvable using classical computers.
- Hardware & Control Naoki Kanazawa
28 | Pulse Control for Superconducting Quantum Computers
In superconducting quantum computer, quantum gates are compiled down to a sequence of microwave pulses.
-
Software Tools & Verification Charles Yuan26 | Abstractions Are Bridges Toward Quantum Programming
In this talk, I present abstractions that help classical developers reason about the quantum world, with the goal of designing expressive and sound tools for quantum programming.
-
Algorithms & Theory Minzhao Liu27 | Understanding Quantum Supremacy Conditions for Gaussian Boson Sampling with High Performance Computing
Recent quantum supremacy experiments demonstrated with boson sampling garnered significant attention, while efforts to perfect approximate classical simulation techniques challenge supremacy claims on different fronts.
-
Software Tools & Verification Jiyuan Wang25 | QDiff: Differential Testing for Quantum Software Stacks
Several quantum software stacks (QSS) have been developed in response to rapid hardware advances in quantum computing.
- Software Tools & Verification Runzhou Tao
24 | Automatic Formal Verification of the Qiskit Compiler
Quantum compilers are essential in the quantum software stack but are error-prone.
-
Software Tools & Verification Yuxiang Peng23 | Software Tools for Analog Quantum Computing
Recent experimental results suggest that continuous-time analog quantum simulation would be advantageous over gate-based digital quantum simulation in the Noisy Intermediate-Size Quantum (NISQ) machine era.
-
Machine Learning & AI Jun Qi21 | Quantum Machine Learning: Theoretical Foundations and Applications on NISQ Devices
Quantum machine learning (QML) is a trailblazing research subject that integrates quantum computing and machine learning.
-
Error Correction & Mitigation Yasuo Oda22 | Noise Modeling of the IBM Quantum Experience
The influence of noise in quantum dynamics is one of the main factors preventing Noisy Intermediate-Scale Quantum (NISQ) devices from performing useful quantum computations.
-
Machine Learning & AI Mohsen Heidari20 | Learning and Training in Quantum Environments
Quantum computing presents fascinating new opportunities for various applications, including machine learning, simulation, and optimization.
-
Compilation & Optimization Gushu Li18 | Enabling Deeper Quantum Compiler Optimization at High Level
A quantum compiler is one essential and critical component in a quantum computing system to deploy and optimize the quantum programs onto the underlying physical quantum hardware platforms.
-
Algorithms & Theory Nai-Hui Chia19 | Classical Verification of Quantum Depth
Verifying if a remote server has sufficient quantum resources to demonstrate quantum advantage is a fascinating question in complexity theory as well as a practical challenge.
- Systems & Architecture Tirthak Patel
17 | Developing Robust System Software Support for Quantum Computers
The field of quantum computing has observed extraordinary advances in the last decade, including the design and engineering of quantum computers with more than a hundred qubits.
- Networking & Communication Wei Tang
16 | Distributed Quantum Computing
Quantum processing units (QPUs) have to satisfy highly demanding quantity and quality requirements on their qubits to produce accurate results for problems at useful scales.
- Hardware & Control Zeyuan Zhou
15 | Quantum Crosstalk Robust Quantum Control
The prevalence of quantum crosstalk in current quantum devices poses challenges to achieving high-fidelity quantum logic operations and reliable quantum processing.
-
Compilation & Optimization Bochen Tan14 | Compilation for Near-Term Quantum Computing: Gap Analysis and Optimal Solution
The most challenging stage in compilation for near-term quantum computing is qubit mapping, also called layout synthesis, where qubits in quantum programs are mapped to physical qubits.
-
Error Correction & Mitigation Qiang Guan13 | Enabling robust quantum computer system by understanding errors from NISQ machines
The growth of the need for quantum computers in many domains such as machine learning, numerical scientific simulation, and finance has urged quantum computers to produce more stable and less error-prone results.
-
Systems & Architecture Prineha Narang11 | Building Blocks of Scalable Quantum Information Science
Quantum information technologies are expected to enable transformative technologies with wide-ranging global impact.
-
Hardware & Control Jakub Szefer12 | Quantum Computer Hardware Cybersecurity
As Quantum Computer device research continues to advance rapidly, there are also advances at the other levels of the computer system stack that involve these devices.
-
Algorithms & Theory Yilian Liu10 | Solving Nonlinear Partial Differential Equations using Variational Quantum Algorithms on Noisy Quantum Computers
Partial differential equations (PDEs) have long been the center of interest to system modeling in many disciplines of science and engineering, such as computational physics, fluid mechanics, and quantitative finance.
-
Networking & Communication Chen Qian9 | Protocol Design for Quantum Network Routing
Quantum entanglement enables important computing applications such as quantum key distribution.
-
Systems & Architecture Junyu Liu7 | Quantum Data Center
We propose the Quantum Data Center (QDC), an architecture combining Quantum Random Access Memory (QRAM) and quantum networks.
-
Machine Learning & AI Tongyang Li6 | Adaptive Online Learning of Quantum States
Shadow tomography is a fundamental problem in quantum computing, whose goal is to efficiently learn an unknown d-dimensional quantum state using projective measurements.
-
Algorithms & Theory Siyuan Niu4 | Enabling Parallel Circuit Execution on NISQ Hardware
Today’s quantum computers are in the Noisy Intermediate-Scale Quantum era and prone to errors.
-
Software Tools & Verification Robert Wille5 | Design Automation and Software Tools for Quantum Computing
Quantum computing is becoming a reality, but automated methods and software tools for this technology are just beginning.
-
Algorithms & Theory Jinglei Cheng3 | Introduction to Variational Quantum Algorithms
A lecture by Jinglei Cheng on quantum computing.
-
General Zhixin Song2 | A Guided Tour on the Map of Quantum Computing
A lecture by Zhixin Song on quantum computing.
-
Error Correction & Mitigation Yongshan Ding1 | Software and Algorithmic Approaches to Quantum Noise Mitigation: An Overview
I will talk about recent developments in noise mitigation techniques for quantum computers. In the Noisy Intermediate-Scale Quantum (NISQ) era, qubits have short lifetimes and quantum gates are prone to errors. This talk will provide an overview of software and algorithmic approaches to mitigate quantum noise.
