Biography
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.
- Programming Languages
- Quantum Computing
- Computer Systems
- Software Engineering
-
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
Recent News
-
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.
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 Review / Artifact Evaluation Committee: OOPSLA 2023
- Artifact Evaluation Committee: POPL 2023, 2021
- External Reviewer: ESOP 2022
- Subreviewer: LICS 2021
- Journal(s): ACM Transactions on Quantum Computing
Long-Term Mentoring with SIGPLAN-M
- 2022–23: Mentoring two students since SPLASH 2022.
- 2021–22: Mentored three students starting PLDI ‘21/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