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


In September 2025, I'll be joining CISPA as a faculty member, while remaining a professor at the University of Stuttgart. The physical location of my lab remains in Stuttgart. We have openings for PhD students and post-docs.

Bio

I'm a full professor in the Computer Science Department of the University of Stuttgart, a faculty member in the International Max Planck Research School (IMPRS) for Intelligent Systems (IS), and a member in the Stuttgart ELLIS Unit. Previously, I was an assistant professor at TU Darmstadt, a postdoctoral researcher at the University of California, Berkeley, and a lecturer and postdoctoral researcher at ETH Zurich, where I completed my Ph.D. on program analyses for automatic and precise error detection. In 2019, I spent a sabbatical at Facebook, Menlo Park. I studied computer science at TU Dresden and engineering at Ecole Centrale Paris, and I visited EPFL for my master thesis. My work has been recognized through the Ernst-Denert Software Engineering Award, an Emmy Noether grant (1.3 million Euro) by the DFG, an ERC Starting Grant (1.5 million Euro), best/distinguished paper awards at FSE (3x), ISSTA, ASE, ASPLOS, and MSR, and by being named an ACM Distinguished Member.

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

CV, Google Scholar, DBLP, GitHub

Recent, current, and upcoming service

  • FSE 2027: PC co-chair
  • ICSE 2026: Area chair
  • OOPSLA 2026: Associate chair
  • SE 2026: PC co-chair
  • ASE 2025: Co-chair of New Faculty Symposium
  • ASE 2025: Area chair
  • ICSE 2025: Program committee
  • FSE 2025: Program committee
  • ASE 2024: Area chair
  • ISSTA 2024: PC chair
  • ESEC/FSE 2023: Program committee
  • ICSE 2023: Program committee
  • OOPSLA 2023: Review committee
  • ISSTA 2023: Program committee
  • ASE 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-2024): Associate editor

Talks

Slides of a few selected presentations. See here for talks on specific papers.