Dirk Beyer
Full Professor at Ludwig-Maximilians-Universität (LMU) München
Bavaria, Germany
Summary
👤
SeniorDirk Beyer is a Full Professor and researcher with over 14 years of experience building models, algorithms, and tools that improve software reliability, currently leading research at LMU Munich. He is the architect and implementor behind influential tools such as CrocoPat, CCVisu, CPAchecker and BLAST, blending theoretical foundations with practical, high-impact software. His work spans academic leadership across European and North American institutions, including professorships at Passau and appointments at Simon Fraser, EPFL and UC Berkeley. An active contributor to open-source benchmarking infrastructure, he has improved BenchExec’s backend for robust resource measurement and result handling. Known for turning formal methods into usable engineering tools, he pairs rigorous research with hands-on implementation and a track record of widely adopted systems.
14 years of coding experience
8 years of employment as a software developer
Github Skills (8)
debug10
benchmark10
benchmarking10
python10
file-handling9
php8
xml7
apache4
Programming languages (7)
Github contributions (5)
sosy-lab/benchexec
Feb 2015 - Jan 2023
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Role in this project:
Back-end Developer
Back-end DeveloperContributions:17 reviews, 236 commits, 99 PRs in 8 years
Contributions summary:Dirk contributed to the `BenchExec` framework by modifying Python scripts and PHP files within the repository. Their work focused on fixing bugs, such as those related to file name handling and witness result processing. The user implemented a script for an HTTP server to serve log files and improved the functionality of the merge benchmark sets script, including score calculations for specific properties.
cgroupsbenchmarkingpythonlinuxbenchmark-framework
dbeyer/acmart
Jun 2017 - Jan 2025
ACM consolidated LaTeX styles
Contributions:20 pushes, 1 branch in 7 years 7 months
acmstyleslatexconsolidated
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.