conf.researchr.org / Kesha Hietala
Registered user since Wed 2 Nov 2022
Name:Kesha Hietala
Bio:
I am an Applied Scientist in the Automated Reasoning Group at Amazon AWS. I got my PhD from the University of Maryland in 2022, where I focused on formal verification of the quantum software toolchain. At Amazon, I work on the Cedar policy language. I’m interested broadly in compilers, program analysis, and formal verification.
Country:United States
Affiliation:Amazon Web Services
Personal website: https://khieta.github.io/
GitHub: https://github.com/khieta
Research interests:Formal Verification, Program Analysis, Quantum Computing
Contributions
2024
SPLASH
ESEC/FSE
2023
SPLASH
2022
PLanQC
2021
PLanQC
2020
PLanQC
- 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