Kartik Singhal
PhD Student →
Quantinuum
Quantinuum
I am interested in the design and verification of programming languages for realistic quantum computing. See my homepage for more information.
Interests
- Programming Languages
- Quantum Computing
- Computer Systems
- Software Engineering
Education
-
MS in Computer Science, 2020
University of Chicago
-
ScM in Computer Science, 2017
Brown University
-
BTech in Computer Science and Engineering, 2013
National Institute of Technology Calicut