Registered user since Thu 17 Dec 2015
I am an Assistant Professor of Computer Science at the University of Chicago, part of the Programming Languages Research Group and the Chicago Quantum Exchange. I lead the Chicago Quantum Programming Languages Laboratory (ChiQP).
My main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation. Some of my major projects include 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.
|PLDI 2022|| (POPL 2021) A Verified Optimizer for Quantum Circuits|
Committee Member in PLDI within the PLDI-track
|Show activities from other conferences|
View general profile