Hannah (Anna) Gommerstadt

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

I graduated from Harvard University with a B.A. in Computer Science and Mathematics and a minor in Near Eastern Languages and Civilizations. I wrote my senior honors thesis on securing public-key cryptography on the Android platform with Steve Chong and Aslan Askarov. I also studied abroad at The Hebrew University of Jerusalem.

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 February 2018.