| 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 | Circuit optimizations | Assignment 1 due |
| 6 | Introduction to quantum hardware | Circuit mapping and routing | Assignment 2 release |
| 7 | Applications and algorithms | Application-specific compiler optimizations | Final project proposals due |
| 8 | Application-specific PL | Noise models | Assignment 2 due |
| 9 | Noise-aware compilation | QEC and fault tolerance | 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 | Hamiltonian systems and Calibration | 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 |