I am a graduate student at UChicago CS since September 2017 working with Robert Rand and Fred Chong on Design and Semantics of Programming Languages and Program Verification for 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, 2020
University of Chicago
ScM in Computer Science: Systems, 2017
Brown University
BTech in Computer Science and Engineering, 2013
National Institute of Technology Calicut
Dec 15: I wrote about our work on the Q# blog – λQ#: Understanding and Evolving the Q# Programming Language
Nov 1: Serving on the SPLASH OOPSLA 2023 External Review/Artifact Evaluation Committee.
Oct 20: UChicago Physical Sciences Division updated my mini profile from 2020.
Oct 17: We started a mailing list for the Quantum PL and Verification community. Subscribe here and help spread the word.
Sep 29: Was invited to give a talk about my research by Prof. Mingsheng Ying to his group and collaborators.
Sep 6: I presented my thesis proposal and passed the candidacy exam!
Aug 17: Our submission discussing quantum specification languages was accepted for poster presentation at PLanQC 2022.
Aug 12: Serving on the POPL 2023 Artifact Evaluation Committee.
Jul 5: Video and slides for my participant talk at OPLSS 2022 are now available.
Jun 7: Quantum PL & Verification Bibliography that I maintain is now linked from the PLanQC webpage.
Jun 1: Our paper Q# as a Quantum Algorithmic Language as part of the Essence of Q# project was accepted at QPL 2022.
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.