Kartik Singhal
PhD Student
University of Chicago
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
-
ScM in Computer Science, 2017
Brown University
-
BTech in Computer Science and Engineering, 2013
National Institute of Technology Calicut