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.

Interests
  • Programming Languages
  • Quantum Computing
  • Computer Systems
  • Software Engineering
Education
  • 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

See the News Archive for older news.

Recent Publications

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

PDF Cite Code Project Venue

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

PDF Cite 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

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

Long-Term Mentoring with SIGPLAN-M

Student Volunteer

Misc

Experience

 
 
 
 
 
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

Contact

Contact