I am a graduate student at UChicago CS since September 2017. I am 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

See the News Archive for older news.

Recent Publications

(2022). Q# as a Quantum Algorithmic Language. QPL 2022.

PDF Cite Code Project Slides Video arXiv

(2022). A Rich Type System for Quantum Programs.

PDF Cite Poster arXiv

(2021). Toward a Type-Theoretic Interpretation of Q#. PLanQC 2021.

PDF Cite Project Slides Video Venue

(2021). Toward Formalizing the Q# Programming Language. QPL 2021: Poster.

PDF Project Poster


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.


Peer Review

Long-Term Mentoring with SIGPLAN-M

Student Volunteer



Research Intern
Jun 2020 – Sep 2020 Remote (per COVID-19)
Software Engineer Intern
Jun 2017 – Aug 2017 Mountain View, California
Research Associate Intern
May 2016 – Sep 2016 Palo Alto, California
Member Technical Staff
Jul 2013 – May 2015 Bangalore, India
Software Engineer Intern
Nov 2012 – Mar 2013 Remote