Biography
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.
- Programming Languages
- Quantum Computing
- Computer Systems
- Software Engineering
-
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
Recent News
-
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.
Recent Publications
Projects
The Essence of Q#
Ongoing project with the aim to establish firm mathematical foundations for the Q# programming language.
Quantum Hoare Type Theory
Toward a unified system for programming, specifying, and reasoning about quantum programs.
Service
Peer Review
- External Reviewer: ESOP 2022
- Subreviewer: LICS 2021
- Journal(s): ACM Transactions on Quantum Computing
- Artifact Evaluation Committee: POPL 2021
Long-Term Mentoring with SIGPLAN-M
- 2021–22: Mentoring two students since PLDI ‘21. And a third since POPL ‘22.
- 2020–21: Mentored two students starting ICFP ‘20.
Student Volunteer
- PLDI 2020, London (Online)
- Programming Language Design and Implementation (PLDI) 2019, Phoenix, Arizona
- International Conference on Functional Programming (ICFP) 2018, St. Louis, Missouri
- Symposium on Principles of Programming Languages (POPL) 2016, St. Petersburg, Florida
Misc
- 2022–now: Student Member, University of Chicago Student Technology Advisory Group (Graduate)
- 2020–21: Faculty-Grad Liaison (FGL), Department of Computer Science, University of Chicago
- 2019–21: Computer Science Department Representative, PSD Deans’ Student Advisory Committee (DSAC), University of Chicago
- 2018–20: Minister of Infrastructure, Department of Computer Science, University of Chicago
- 2017–19: Physical Sciences Division Representative, Graduate Council, University of Chicago
- 2015–17: Computer Science Department Representative (Masters), Graduate Student Council, Brown University
- 2012–13: Secretary, Computer Science and Engineering Association (CSEA), NIT Calicut
Teaching
Instructor
Teaching Assistant
University of Chicago
- Spring 2019: CMSC 22100 (CS221) – Programming Languages
- Winter 2018: CAPP 30122 (CS122) – Computer Science with Applications 2
- Autumn 2017: CMSC 12100/CAPP 30121 (CS121) – Computer Science with Applications 1
Brown University
- Spring 2016: CSCI0320 (CS32) – Software Engineering