ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Dirk Beyer

Registered user since Sun 29 Mar 2015

Name:Dirk Beyer

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.

Affiliation:LMU Munich
Research interests:Software Verification, Program Analysis


ETAPS 2019 Committee Member in Steering Committee
CoVeriTest: Cooperative Verifier-Based Testing
Committee Member in Organizers within the TOOLympics-track
Software Verification — An Overview of the State of the Art
FASE 2019 CoVeriTest: Cooperative, Verifier-Based Testing
InterAVT 2019 Committee Member in Program Committee within the InterAVT-track
TACAS 2019 Competition 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)
Show activities from other conferences

ETAPS 2019-profile
View general profile