I am a graduate student at UChicago CS since September 2017. I am working with Robert Rand and Fred Chong on Design and Verification of Programming Languages for realistic Quantum Computing as part of EPiQC (Enabling Practical-scale Quantum Computation), an NSF Expedition in Computing.
PhD in Computer Science (In Progress)
University of Chicago
(Transitional) MS in CS: PL & Quantum, 2021
University of Chicago
ScM in Computer Science: Systems, 2017
Brown University
BTech in Computer Science and Engineering, 2013
National Institute of Technology Calicut
Jun 25: New (short) abstract on how we should be thinking about specification languages for quantum programs.
Jun 1: Our paper Q# as a Quantum Algorithmic Language as part of the Essence of Q# project was accepted at QPL 2022.
Apr 23: Will be attending OPLSS ‘22: Types, Semantics, and Program Reasoning this summer.
Mar 7: Check out ChiQP-Lab’s new website: chiqp.cs.uchicago.edu.
Jan 21: Our submission A Rich Type System for Quantum Programs was accepted for a poster presentation at QIP 2022.
Dec 13, ‘21: Wrote an End of Year update on qpl-bib.
Oct 14: Our group led by Robert Rand is christened ChiQP-Lab for Chicago Quantum and Programming (Languages) Lab.
Sep 6: QPL 2020 proceedings are out, see official versions of QHTT and Gottesman Types papers.
Jul 30: My PLanQC talk is now on YouTube. Also, I made a more accessible website for Quantum PL and Verification Bibliography.
See the News Archive for older news.
Ongoing project with the aim to establish firm mathematical foundations for the Q# programming language.
Toward a unified system for programming, specifying, and reasoning about quantum programs.