Michael Pradel
Pradel earned an ETH PhD on automatic, precise error detection and later worked as a postdoctoral researcher at Berkeley and a faculty member at Darmstadt. As of October 2026, he holds roles at Stuttgart and CISPA. He took a sabbatical at Facebook in Menlo Park in 2019. He gave talks in 2023 on neural software analysis and in 2024 on neuro-symbolic tools for analyzing, executing and repairing code.
- Works
- 214
- Citations
- 5,963
- h-index
- 43
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
As of October 2026
Program-analysis training
Pradel earned an ETH PhD on automatic, precise error detection and later worked as a postdoctoral researcher at Berkeley and a faculty member at Darmstadt. As of October 2026, he holds roles at Stuttgart and CISPA.
-
2019
Industry research visit
He took a sabbatical at Facebook in Menlo Park in 2019.
-
2023–2024
Neural and symbolic developer tools
He gave talks in 2023 on neural software analysis and in 2024 on neuro-symbolic tools for analyzing, executing and repairing code.
Sources and credits
Photo: ELLIS profile; creator not stated. License: Not stated by source. Source: ellis.eu. Cropped to a square and resized. Ask us to remove or replace this photo.