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