Michael Pradel

Email: michael@binaervarianz.de
Phone: +49-6151-1622390

TU Darmstadt
Software Lab
Mornewegstrasse 32, Room 4.3.10
64293 Darmstadt, Germany


I'm excited to announce that I'll join the Department of Computer Science at University of Stuttgart as a full professor in 9/2019. Moreover, I'm currently visiting Facebook, Menlo Park, for a 6-month sabbatical to work on machine learning-based developer tools.

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.

Please follow these links for my research, publications, and teaching activities.

CV for download

Recent, current, and upcoming service

  • PLDI 2019: Program committee
  • ICSE 2019: Program board
  • ISSTA 2019: Co-chair of artifact evaluation
  • ASE 2018: Program committee
  • ECOOP 2018: Program committee
  • ESSoS 2018: Program committee
  • IEEE TSE 2017/2018: Review board