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 2021	Author of Extending Gottesman Types Beyond the Clifford Group within the PLanQC 2021-track Author of Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem within the PLanQC 2021-track
POPL 2021	Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
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