I am interested in the design and verification of programming languages for realistic quantum computing. See my homepage for more information.
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