ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
Kesha Hietala

Registered user since Wed 2 Nov 2022

Name:Kesha Hietala

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
Research interests:Formal Verification, Program Analysis, Quantum Computing


Show activities from other conferences

Using general profile