Resources for Aws Albarghouthi's course at the Summer School on Formal Techniques.
The first lecture covers the foundations of quantum computing through two perspectives. We encourage attendees to consider the following resources:
- Lecture 1 notes
- https://eprint.iacr.org/2025/1091.pdf
- https://barghouthi.github.io/2021/08/05/quantum/
The second lecture dives deep into compilers for quantum computers, covering circuit optimization and mapping and routing, both through the lens of formal methods.
See lab.md.