I am an Assistant Professor of Computer Science, part of the Programming Languages Research Group and the Chicago Quantum Exchange.
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!
April 2024 An Algebraic Language for Specifying Quantum Networks with Anita Buckley and the team at USI Lugano was accepted to PDLI 2024! The paper introduces BellKAT, our new language for software defined networking and verification.
November 2023 Our AFOSR proposal for Random Testing Across the Quantum Software Stack, with Leonidas Lampropoulos at UMD, was accepted!
September 2023 Gave a talk on Quantum Computing from a PL Perspective at Purdue’s PurPL Colloquium!