Michael Pradel

Michael Pradel is a Professor at the University of Stuttgart, leading the Software Lab within the Computer Science Department. He is also a faculty member at the International Max Planck Research School for Intelligent Systems and a member of the Stuttgart ELLIS Unit.

• Education: Studied computer science at TU Dresden and Ecole Centrale Paris, with a master thesis at EPFL. Completed his PhD at ETH Zurich on program analyses for error detection.
• Research Interests: Focuses on software engineering, machine learning for code, program analysis, quantum software testing, and automated program repair. His work integrates LLMs for tasks like code execution, bug detection, and test generation.
• Scientific Awards:
  • Ernst-Denert Software Engineering Award
  • Emmy Noether grant (1.3M Euro) by DFG
  • ERC Starting Grant (1.5M Euro)
  • ACM SIGSOFT Distinguished Paper Awards (FSE, ISSTA, ASE, ASPLOS, MSR)
  • ACM Distinguished Member
• Students: Supervised Matteo (PhD on quantum software testing), Luca Di Grazia (postdoc at USI Lugano), Beatriz Souza, Huimin Hu, and Doehyun Baek (PhD students). Collaborated with visiting professors like Cristian Cadar (Humboldt Research Award).
• Service: Holds leadership roles in top conferences including PC co-chair for FSE 2027, area chair for ICSE 2026, and associate chair for OOPSLA 2026.

Current Projects: Developing techniques like DyLin (dynamic linter for Python), Testora (regression detection via NL intent), and LintQ (static analysis for quantum programs). His lab explores neural software analysis, code search, and LLM agents for program repair.