conf.researchr.org / Kesha Hietala
Registered user since Wed 2 Nov 2022
Name:Kesha Hietala
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
| SPLASH 2023 | Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track |