Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
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

Personal website: http://mp.binaervarianz.de/

Contributions

WODA 2016Session Chair of Session 3 (part of WODA)
Session Chair of Session 2 (part of WODA)
Committee Member in Organizing Committee within the WODA-track
Session Chair of Session 1 (part of WODA)
Session Chair of Session 4 (part of WODA)
Show activities from other conferences

SPLASH 2016-profile
View general profile