My main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation. Two of my main projects are the QWIRE quantum circuit language (with Jennifer Paykin) and the VOQC verified optimizing compiler (with Kesha Hietala). I’m currently interested in verified optimization, error-correction, type systems and programming abstractions for quantum computing.
I’m working on a book on verified quantum programming! Email me if you’d like to use the book for your own course.
If you’re interested in doing research with me: Please reach out!
June 2022 MCBeth: A Measurement Based Quantum Programming Language, Qunity: A Unified Language for Quantum and Classical Computing, Q# as a Quantum Algorithmic Language, and VyZX: A Vision for Verifying the ZX Calculus were all accepted as talks at QPL 2022!
April 2022 I gave the keynote Writing and Verifying a Quantum Optimizing Compiler at Compiler Correctness 2022.
March 2022 The Chicago Quantum Programming Languages Laboratory (ChiQP) now has its own website! Thanks to Kartik Singhal for his hard work in setting this up.