Hannah (Anna) Gommerstadt

Anna Gommerstadt
I am a 3rd 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 contract enforcement for distributed computation. 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 am also interested in cryptography.

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 June 2016.