SPLASH 2023 (series) / Kesha Hietala
![Kesha Hietala](https://2023.splashcon.org/getProfileImage/keshahietala/902e5652-9590-46f6-9428-aa1ca20cfb21/small.jpg?1711526831000)
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-profile
View general profile
View general profile