Hannah (Anna) Gommerstadt
Assistant Professor of Computer Science
Vassar College
Email: hgommerstadt@vassar.edu
Office: Sanders Physics 305
|
|
Teaching
- CMPU 102: Data Structures & Algorithms (Fall 2020, Spring 2020, Fall 2019)
- CMPU 331: Compilers (Fall 2020, Spring 2020)
Research
I am interested in the intersection of programming languages and security, especially the use of language-based and logic-based methods
to provide formal security guarantees. My papers and talks are available here.
Bio
I got my Ph.D. and M.S. in Computer Science from Carnegie Mellon University.
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 proving theorems,
I am likely to be found on top of a mountain. My CV is available here.
|
This site last updated in August 2020.
|
|