Kartik Singhal - POPL 2020

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	Author of Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages within the PLanQC-track Author of Verified translation between low-level quantum languages within the PLanQC-track
POPL 2020	Author of Quantum Hoare Types within the Student Research Competition-track
Show activities from other conferences