Dominik Klumpp

Dominik Klumpp is a researcher at the University of Freiburg, affiliated with the Department of Computer Science. He focuses on automatic verification, concurrent programs, commutativity, and partial order reduction. His work bridges formal methods and practical software verification, contributing to tools like the Ultimate Framework. Klumpp co-organizes courses such as Cyber-Physical Systems and Program Verification, and supervises student projects on topics like program analysis and verification techniques.

Research interests include developing efficient methods for verifying concurrent and parameterized systems, leveraging commutativity and abstraction techniques. His recent work explores correctness witnesses for concurrent programs and the application of Petri net unfoldings. Klumpp actively participates in academic conferences and competitions, such as TACAS and VMCAI, contributing to advancements in software verification tools and algorithms.

He has advised numerous student theses on verification methodologies, partial order reduction, and program analysis. Klumpp collaborates with institutions like the University of Augsburg and maintains an open-source presence through projects like the Ultimate Framework, emphasizing practical tool development alongside theoretical research.