I am a postdoctoral associate with Prof. Jonathan Aldrich in the School of Computer Science at Carnegie Mellon University. I am interested in the development of programming languages and tools that facilitate the development of programs that are easier to write, reason about, and, ultimately, verify.

Before joining the group of Prof. Aldrich, I did a PhD with Prof. Thomas R. Gross in the Department of Computer Science at ETH Zurich. During my PhD, I developed the programming language Rumer, an object-based programming language with support for first-class relationships and Design-by-Contract-style assertions. In addition, I elaborated an invariant-based verification technique for Rumer.