Matthias Dangl

Matthias Dangl is a researcher at the Department of Computer Science, Ludwig-Maximilians-Universität München (LMU Munich), within the Software and Computational Systems Lab. Previously, he was affiliated with the University of Passau, where he contributed to software engineering education and research. His research focuses on software verification, model checking, and formal methods, with a particular emphasis on witness-based validation and SMT-based techniques. He has developed tools like CPAchecker, which are widely recognized in academic and industrial verification communities. Dangl has won multiple awards, including categories in SV-COMP'15 and medals for his contributions to software verification. His work bridges theoretical advancements with practical implementations, enhancing the reliability of software systems through automated reasoning and verification.

Education:

• PhD in Computer Science (2022), LMU Munich
• Master's in Computer Science (2013), University of Passau

Research Interests:

• Software Verification
• Model Checking
• Witness-Based Validation
• SMT Solvers
• Formal Methods in Software Engineering

Grants & Collaborations:

His research is supported by collaborations with academic and industrial partners, focusing on advancing verification frameworks and tools.

Labs/Teams:

He is a core member of the Software Systems Lab at LMU Munich, contributing to projects like the VerifierCloud and CPAchecker.