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

See the News Archive for older news.

Recent Publications

(2022). Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs.

PDF Cite Poster arXiv

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

PDF Cite Code Project Slides Video 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