| 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: SQIR Reading: Verified Quantum Computing |
Survey topic selection due |
| 3 | Simulation of quantum circuits | Quantum while programs | Assignment 1 release |
| 4 | Quantum Hoare logic | Types and functional QPL | |
| 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 |