Michael Pradel

Email: michael@binaervarianz.de
Phone: +49-711-685-88320

University of Stuttgart
Software Lab
Universitätsstr. 38, Room 1.211
70569 Stuttgart, Germany


I'm a full professor in the Computer Science Department of University of Stuttgart, a faculty member in the International Max Planck Research School (IMPRS) for Intelligent Systems (IS), and a Fellow in the Stuttgart ELLIS Unit. Previously, I was an assistant professor at TU Darmstadt, a postdoctoral researcher at 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. In 2019, I spent a sabbatical at Facebook, Menlo Park. 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, an Emmy Noether grant (1.3 million Euro) by the DFG, and an ERC Starting Grant (1.5 million Euro).

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

CV for download

Recent, current, and upcoming service

  • ICSE 2023: Program committee
  • ESEC/FSE 2022: Chair of doctoral symposium
  • ESEC/FSE 2022: Program committee
  • ASE 2022: Program committee
  • ISSTA 2022: Program committee
  • ICSE 2022: Program committee
  • ACM SIGSOFT Research highlights committee (2020-2022)
  • OOPSLA 2021: Extended review committee
  • PLDI 2021: Program committee
  • ICSE 2021: Program committee
  • ESEC/FSE 2021: Program committee
  • ASE 2021: Program committee
  • ISSTA 2021: Program committee
  • ISSTA 2021: Co-chair of tool demonstrations
  • ECOOP 2021: Program committee
  • IEEE TSE 2020-2021: Associate editor
  • IEEE Software: Guest editor
  • OOPSLA 2020: External review committee
  • ASE 2020: Program committee
  • IEEE TSE 2019-2020: Review board
  • TheWebConf (WWW) 2020: Program committee
  • OOPSLA 2019: Doctoral symposium committee
  • PLDI 2019: Program committee
  • ICSE 2019: Program board
  • ISSTA 2019: Co-chair of artifact evaluation
  • ASE 2019: Journal-first program committee