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
of Freiburg, Germany (2009). Before joining NYU, I held
at École Polytechnique Fédérale
de Lausanne, Switzerland and at
the Institute of Science and
See also my curriculum vitae.
My research focuses on program analysis and verification, automated deduction, concurrent software, and software productivity.
As a byproduct of my research, I have developed and contributed to a number of tools.
See also my DBLP entry for a complete list of my publications.