Hannah (Anna) Gommerstadt


Anna Gommerstadt
I am a 5th year Ph.D. student in the Computer Science Department at Carnegie Mellon University advised by Frank Pfenning and Limin Jia. I am currently working on using session types for dynamic monitoring and contract enforcement in a concurrent setting. I am broadly interested in the intersection of programming languages and security, especially the use of language-based and logic-based methods to provide formal security guarantees. I also spend a lot of time teaching!

Before graduate school, I worked as a software engineer at Microsoft. Prior to that, I got a B.A. in Computer Science and Mathematics from Harvard University. When not trying to prove theorems, I am statistically very likely to be found on top of a mountain.
Email: hgommers [at] cs [dot] cmu [dot] edu | Linked In
This site last updated in August 2018.