Author: Kesha Hietala

Kesha Hietala is an Applied Scientist in the Automated Reasoning in Identity Group at AWS, where she focuses on developing the Cedar language. Prior to AWS, she received her PhD from the University of Maryland, where she focused on formal verification of the quantum software toolchain. She's thrilled to be able to continue working on formal verification at AWS.