Michael Pradel

Michael Pradel is a full professor at the University of Stuttgart, specializing in software engineering, programming languages, and machine learning. He will join CISPA as a faculty member from September 2025 while retaining his Stuttgart position.

His research focuses on:

• Neuro-symbolic software analysis
• Web application analysis
• Dynamic analysis and test generation
• Quantum software testing
• Machine learning for code

Recent publications address:

• LLM-based program repair (RepairAgent, Treefix)
• WebAssembly analysis (Wasm-R3, LintQ)
• Python security and analysis (DyLin, DyPyBench)
• Quantum program analysis (LintQ)

Scientific awards:

• Ernst-Denert Software Engineering Award
• Emmy Noether grant (1.3M Euro)
• ERC Starting Grant (1.5M Euro)
• 3x ACM SIGSOFT Distinguished Paper Award at FSE
• ACM Distinguished Member
• Best Paper/Distinguished Paper Awards at ISSTA, ASE, ASPLOS, MSR

Key contributions include:

• DeepBugs for name-based bug detection
• Getafix for automated bug fixing
• LintQ for quantum program analysis
• DyLin for Python dynamic analysis
• Neuro-symbolic developer tools