Anna Gommerstadt

Hannah (Anna) Gommerstadt’s research interests are at the intersection of programming languages and security, especially the use of language-based and logic-based methods to provide formal security guarantees. She received her Ph.D. and M.S. from Carnegie Mellon University and a B.A. from Harvard University. Prior to entering graduate school, Anna worked as a software engineer at Microsoft.