- Ph.D. University of Pennsylvania, 2018
- B.A. Yeshiva University, 2011
I am a Basili postdoctoral fellow in Programming Languages at the University of Maryland and the Joint Center for Quantum Information and Computer Science.
My main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation. My PhD thesis revolved around QWIRE ("choir"), a quantum circuit language and verification tool that I developed jointly with Jennifer Paykin at the University of Pennsylvania. I'm currently interested in verified optimization, error-correction and programming abstractions for quantum computing.