Experience
Education
Bio
I am an Assistant Professor in the NYU Computer Science Department and a member of the Analysis of Computer Systems Group in the Courant Institute. I received my doctorate in Computer Science from the University of Freiburg, Germany (2009). Before joining NYU, I held post-doctoral positions at École Polytechnique Fédérale de Lausanne, Switzerland and at the Institute of Science and Technology Austria. Academic Honors and Awards • Best Paper Award at OOPSLA 2014. • National Science Foundation, CAREER Award, 2014. • Ph.D. with distinction, University of Freiburg, 2009. • Microsoft Research European Ph.D. Scholarship, 2006 – 2009. • Scholarship of DFG Research Training Group on “Mathematical Logic and Applications”, University of Freiburg, 2006 – 2009. • Scholarship of DFG Research Training Group on “Quality Guarantees for Computer Systems”, Max Planck Institute for Computer Science, 2005 – 2006.