I am interested in the design and verification of programming languages for realistic quantum computing. See my homepage for more information.
ScM in Computer Science, 2017
Brown University
BTech in Computer Science and Engineering, 2013
National Institute of Technology Calicut