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/
View general profile