Current Position
I am currently in my second year as a Ph.D. student at the Chair of Programming Methodology in the Department of Computer Science of ETH Zurich, Switzerland.
Ph.D.
I am working on a technique for collaborative verification and testing that makes compromises of static checkers (such as not checking certain program properties, or making implicit, unsound assumptions) explicit such that they can be compensated for by automated, specification-based testing under Peter Müller's supervision.
Curriculum Vitae
A PDF version of my résumé can be found here.