Kesha Hietala

Registered user since Mon 9 Dec 2019

Name:Kesha Hietala
Bio:

Hi! My name is Kesha and I’m a graduate student in Computer Science at the University of Maryland. I’m part of the PLUM group and advised by Mike Hicks. I’m interested in programming language design, program analysis, and formal verification, with a special focus on the application area of quantum computing.

Country:United States
Affiliation:University of Maryland
Personal website:https://khieta.github.io/
Research interests:Programming Languages, Formal Verification, Quantum Computing, Security

Contributions

PLanQC 2021 Author of Expanding the VOQC Toolkit 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 Author of A Verified Optimizer for Quantum Circuits within the POPL-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 Tracking Errors through Types in Quantum Programs within the PLanQC-track
Author of A Verified Optimizer for Quantum Circuits within the PLanQC-track
POPL 2019 Author of Quantitative Robustness Analysis of Quantum Programs within the Research Papers-track