Registered user since Wed 2 Nov 2022
Name:Kesha Hietala
Bio:
I am currently a Senior Member of Technical Staff at Sandia National Laboratories. I got my PhD from the University of Maryland in 2022, where I focused on formal verification of the quantum software toolchain. I’m interested broadly in compilers, program analysis, and formal verification.
Country:United States
Affiliation:Sandia National Laboratories
Personal website: https://khieta.github.io/
GitHub: https://github.com/khieta
Research interests:Formal Verification, Program Analysis, Quantum Computing
Contributions
Using general profile