Write a Blog >>
Kartik Singhal

Registered user since Thu 11 Jul 2019

Name:Kartik Singhal
Country:United States
Affiliation:University of Chicago
Personal website:http://ks.cs.uchicago.edu
Research interests:Programming Languages, Quantum Computing

Contributions

POPL 2020 Quantum Hoare Types
PLanQC 2020 Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages
Verified translation between low-level quantum languages
Show activities from other conferences

POPL 2020-profile
View general profile