Scholar
Dirk Beyer
Google Scholar ID: AFOIl1IAAAAJ
Professor of Computer Science, LMU Munich, Germany
Citations & Impact
Citations
4,663
H-index
39
i10-index
104
Publications
20
Co-authors
79
list available
Publications
Resume (English only)
Academic Achievements
- Paper on Non-termination Witnesses accepted at ASE 2025
- Organized and led international competitions such as SV-COMP (Software Verification Competition) and Test-Comp (Software Testing Competition)
- Served as Program Committee Chair for top conferences including TACAS 2018 and VMCAI 2020
- General Co-Chair of ETAPS 2022
- Published influential papers at top venues like ICSE 2022, TACAS, and FASE
