• 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.

• 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.

See the News Archive for older news.

Peer Review

• 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

• 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