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

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

POPL 2020-profile
View general profile