Dirk Beyer

Registered user since Sun 29 Mar 2015

Name: Dirk Beyer

Bio: Dirk Beyer is Professor of Computer Science and has a Research Chair for Software Systems at LMU Munich, Germany. He was Full Professor at University of Passau (2009-2016), Assistant and Associate Professor at Simon Fraser University, B.C., Canada, and Postdoctoral Researcher at EPFL in Lausanne, Switzerland (2004-2006) and at the University of California, Berkeley, USA (2003-2004) in the group of Tom Henzinger. Dirk Beyer holds a Dipl.-Inf. degree (1998) and a Dr. rer. nat. degree (2002) in Computer Science from the Brandenburg University of Technology in Cottbus, Germany. In 1998 he was Software Engineer with Siemens AG, SBS Dept. Major Projects in Dresden, Germany. His research focuses on models, algorithms, and tools for the construction and analysis of reliable software systems. He is the architect, designer, and implementor of several successful tools. For example, CrocoPat is the first efficient interpreter for relational programming, CCVisu is a successful tool for visual clustering, and CPAchecker and BLAST are two well-known and successful software model checkers.

Country: Germany

Affiliation: LMU Munich

Personal website: http://www.sosy-lab.org/people/beyer/

Research interests: Software Verification, Program Analysis


ESEC/FSE 2020Committee Member in Program Committee within the Research Papers-track
Celebration of ASE 2019Author of "SE Community: Challenges and Opportunities" -- Panel and Open Discussion within the Celebration of ASE 2019-track
VMCAI 2020PC Chair in Organizing Committee within the VMCAI 2020-track
PC Chair in Program Committee within the VMCAI 2020-track
Session Chair of Invited 1 (part of VMCAI 2020)
Session Chair of Papers 3 (part of VMCAI 2020)
Session Chair of Panel Session (part of VMCAI 2020)
Author of Panel "The Future of Software Verification" at VMCAI within the VMCAI 2020-track
ICSE 2021Committee Member in Program Committee within the Technical Track-track
ASE 2019Author of TestCov: Robust Test-Suite Execution and Coverage Measurement within the Demonstrations-track
FormaliSE 2019Committee Member in Program Committee within the FormaliSE 2019-track
MSR 2019Author of A Data Set of Program Invariants and Error Paths within the MSR 2019 Data Showcase-track
InterAVT 2019Committee Member in Program Committee within the InterAVT-track
FASE 2019Author of CoVeriTest: Cooperative, Verifier-Based Testing within the FASE 2019-track
TACAS 2019Competition chair in Program Committee within the TACAS 2019-track
Committee Member in Steering Committee within the TACAS 2019-track
Session Chair of Verification and Analysis (part of TACAS 2019)
ETAPS 2019Committee Member in Steering Committee
Author of CoVeriTest: Cooperative Verifier-Based Testing within the Posters-track
Committee Member in Organizers within the TOOLympics-track
Author of Software Verification — An Overview of the State of the Art within the Tutorials-track
SPIN 2017Committee Member in Program Committee
* ICSE 2018 *Author of Reducer-Based Construction of Conditional Verifiers within the Technical Papers -track