My main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation. See my homepage for more information.
Interests
- Quantum Programming
- Verified Optimization
- Error Correction
- Type Systems
- Programming Abstractions
Education
-
PhD in Computer and Information Sciences, 2018
University of Pennsylvania
-
BA in Computer Science and Mathematics, 2011
Yeshiva University