Daniel Dietsch

Dr. Daniel Dietsch is a researcher at the Department of Computer Science, Faculty of Engineering, University of Freiburg. He specializes in Static Analysis, Software Model Checking, and Formal Methods, with focus areas including Requirements Engineering, Modeling Processes, and Software Verification.

• Research Trends: His recent work centers on automated verification tools for software systems, addressing bitwise operations, race conditions, and hybrid models. Key contributions include the Ultimate framework series (Automizer, Kojak, Taipan, GemCutter, Referee) for SV-COMP competitions.
• Scientific Output: Over 140 publications since 2011, with significant activity in 2024 (53 entries) and 2023 (39 entries). Tools developed by his team are available via GitHub and web interface.
• Teaching Roles: Regularly instructs courses like Automata Theory, Program Verification, and Cyber-Physical Systems since 2011, including both theoretical and practical components.
• Collaborations: Works closely with Matthias Heizmann, Frank Schüssele, Dominik Klumpp, and Andreas Podelski on verification technologies.