Hannah (Anna) Gommerstadt Assistant Professor of Computer Science Vassar College Email: hgommerstadt@vassar.edu Office: Sanders Physics 305

---

Teaching

• CMPU 102: Data Structures & Algorithms (Spring 2022, Fall 2021, Spring 2021, Fall 2020, Spring 2020, Fall 2019)
• CMPU 331: Compilers (Spring 2022, Fall 2021, Fall 2020, Spring 2020)
• CMPU 145: Foundations of Computer Science (Fall 2022)

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 teaching or proving theorems, I am likely to be found on top of a mountain. My CV is available here.

This site last updated in September 2022.