Michael Pradel

Registered user since Fri 18 Jul 2014

Name:Michael Pradel
Bio:

I’m an independent research group leader at TU Darmstadt, where I’m heading the Software Lab. Previously, I was a postdoctoral researcher at the University of California, Berkeley, where I worked with Koushik Sen and George Necula, and a lecturer and postdoctoral researcher at ETH Zurich, where I did my Ph.D. in the group of Thomas Gross. My Ph.D. thesis explores program analyses for automatic and precise error detection. I have studied computer science at TU Dresden and engineering at Ecole Centrale Paris. For writing my diploma thesis I visited the group of Martin Odersky at EPFL in Lausanne. 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.

Affiliation:TU Darmstadt, Germany

Contributions

Show activities from other conferences

PLDI 2016-profile
View general profile