| Week | Tuesday | Thursday | Assignments |
|---|---|---|---|
| 1 |
Logistics Readings: Quick read on quantum software stack |
Basic quantum programming languages
Reading: Qiskit Quickstart Introduction to Q# |
|
| 2 | Intermediate representations Reading: OpenQASM Specification QIR Alliance |
Formal verification: basics Reading: Introduction to Rocq Verified Quantum Computing |
Survey topic selection due |
| 3 | Formal verification: SQIR & Simulation of quantum circuits Reading: SQIR paper MQT DDSIM ITensor |
Quantum while programs Reading: Quantum loop programs |
Assignment 1 release |
| 4 | Quantum Hoare logic Reading: Floyd-Hoare logic for quantum programs Invariants of quantum programs |
Types and functional QPL Reading: The Quipper language Linear dependent type theory |
|
| 5 | Quantum program verification Reading: Termination problem Applied QHL Quantum abstract interpretation |
Circuit optimizations Reading: Review on circuit rewrites Unitary synthesis |
Assignment 1 due |
| 6 | Introduction to quantum hardware Reading: Superconducting circuits Trapped ions Rydberg atoms Photonics |
Circuit mapping and routing Reading: Optimal layout synthesis Qubit mapping |
Assignment 2 release |
| 7 | Applications and algorithms Reading: Hamiltonian simulation Adiabatic theorem Quantum approximate optimization algorithm Quantum singular value transformation |
Application-specific compiler optimizations Reading: Paulihedral Hardware efficient VQE Adaptive VQE |
Final project proposals due |
| 8 | Application-specific PL Reading: SimuQ Differentiable quantum programming Block-encoding PL |
Noise models Reading: Basics and IBM device noises Erasure errors of neutral atoms Effects of atom loss Non-markovian errors |
Assignment 2 due |
| 9 | Noise-aware compilation Reading: Noise-aware circuit mapping Noise-aware parameterized 2-q mapping Noise-adaptive transpilation |
Error mitigation Reading: Dynamical decoupling Randomized compiling Qiskit's techniques |
Survey reports due |
| 10 | Spring break | Spring break | |
| 11 | Mid-term | Survey presentation |
Assignment 3 release Final project milestone reports due |
| 12 | Survey presentation | Survey presentation | |
| 13 | Quantum error correction and fault-tolerance | Pulse-level PL | Assignment 3 due |
| 14 | Optimal control | Runtime systems | |
| 15 | Final project presentation | Final project presentation | |
| 16 | Final project presentation | Final project presentation | Final project reports due |