conf.researchr.org / Kartik Singhal
Kartik Singhal

Registered user since Thu 11 Jul 2019

Name:Kartik Singhal
Bio:

PhD student at UChicago CS since September 2017. Working on PL design and program verification for practical-scale quantum computation.

Country:United States
Affiliation:University of Chicago
Personal website:https://ks.cs.uchicago.edu
Twitter:https://twitter.com/k4rtik
GitHub:https://github.com/k4rtik
Research interests:Programming Languages, Quantum Computing, Type Theory, Hoare-like Logics

Contributions

SPLASH 2023 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
POPL 2023 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLanQC 2022 Session Chair of Hardware-aware quantum programming (part of PLanQC)
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
POPL 2020 Author of Quantum Hoare Types within the Student Research Competition-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