Publications
- On Incorrectness Logic for Quantum Programs
- Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features
- Symbolic Reasoning about Quantum Circuits in Coq
- Towards Certified Separate Compilation for Concurrent Programs
- Non-preemptive Semantics for Data-Race-Free Programs