Dirk Beyer

Dirk Beyer is a Full Professor of Software Engineering and Formal Verification at the Department of Computer Science, Ludwig-Maximilians-Universität München (LMU). He leads the Software and Computational Systems Lab (SOSY-LAB) and focuses on developing models, algorithms, and tools for constructing and analyzing reliable software systems. His research includes software model checking, static analysis, formal verification of real-time systems, and software structure analysis.

Key contributions include the development of tools like CPAchecker (a configurable software verification system), CCVisu (for visual software decomposition), and BLAST (a foundational software model checker). He actively participates in international competitions such as SV-COMP (Software Verification Competition) and Test-Comp (Software Testing Competition), advancing the state of the art in automated verification and testing.

His work emphasizes tool integration, off-the-shelf component composition, and cooperative verification approaches. Dirk also contributes to the formal methods community through service roles, including organizing conferences like TACAS and VMCAI, and co-chairing international events.