Kartik Singhal - POPL 2020

Registered user since Thu 11 Jul 2019

Name:Kartik Singhal

Country:United States

Affiliation:University of Chicago

Research interests:Programming Languages, Quantum Computing

Contributions

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