Quantum knowledge Worth Spreading
Quantum Computer Systems Lecture Series
A lecture series ranging from introductory to advanced research topics in quantum computing systems.
Recent Lectures
Software Tools & Verification Mingsheng Ying
87 | Invariant Generation for Quantum Program Verification
This talk introduces invariants for quantum programs and an effective technique for invariant generation, supporting the verification and analysis of quantum software.
#MingshengYing
#UniversityOfTechnologySydney
#QuantumProgramVerification
#QuantumSoftware
#InvariantGeneration
Physics & Simulation Refik Mansuroglu
85 | Classical Variational Algorithms for Quantum Simulation
This talk presents classical preprocessing routines for short-depth quantum simulation circuits, using variational disentangling and Trotter-error approximations to enable more practical near-term demonstrations.
#RefikMansuroglu
#UniversityOfVienna
#QuantumSimulation
#VariationalAlgorithms
#TrotterDecomposition
Compilation & Optimization Prateek P. Kulkarni
84 | 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.