Matthias Kettl

Matthias Kettl is a researcher at Ludwig Maximilian University of Munich specializing in formal verification and software analysis. Affiliated with the SOSY Lab, his work focuses on advancing verification frameworks and fault detection methodologies.

His research spans Formal Verification, Software Verification, and Distributed Systems, with significant contributions to mutation testing fault patterns, verification witness analysis, and distributed program synthesis. Key projects include enhancements to the CPAchecker framework and empirical studies of partial program fixes.

Recent publications demonstrate strong trends in scalable verification techniques, with increasing emphasis on distributed computing approaches for handling complex software systems. His work bridges theoretical formal methods with practical tool development.

As an active contributor to major software engineering conferences (ASE, ICSE, ESEC/FSE), Kettl maintains strong industry-academia connections through open-source projects on GitHub, including contributions to sv-benchmarks and benchexec frameworks.