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 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