Mornewegstrasse 32, Room 4.3.10
64293 Darmstadt, Germany
I'm an assistant professor at TU Darmstadt. Previously, I was a postdoctoral researcher at the University of California, Berkeley and a lecturer and postdoctoral researcher at ETH Zurich, where I did my Ph.D. on program analyses for automatic and precise error detection. I have studied computer science at TU Dresden and engineering at Ecole Centrale Paris, and I visited EPFL for my master thesis. I have received the Software Engineering Award of the Ernst-Denert-Foundation for the best dissertation and the Emmy Noether grant (1.3 million Euro) by the DFG.