Registered user since Thu 5 Jun 2014
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.
|SPLASH 2014|| Chair in Program Committee within the Workshops-track|
Workshops Co-Chair in Organizing Committee
Committee Member in Program Committee within the Workshops-track
|Show activities from other conferences|
View general profile