Dirk Beyer

Full Professor at Ludwig-Maximilians-Universität (LMU) München

Bavaria, Germany

About

Researcher focussing on models, algorithms, and tools for the construction and analysis of reliable software systems. 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.

Experience

  • Full Professor at Ludwig-Maximilians-Universität (LMU) München
    2016 - Present · 10 yrs 6 mos

  • Full Professor at University of Passau
    2009 - 2016 · 7 yrs

  • Simon Fraser University (Vancouver, Canada Area)
    • Associate Professor
      2010 - 2011 · 1 yr

    • Assistant Professor
      2006 - 2010 · 4 yrs

  • Postdoctoral Researcher at EPFL (École polytechnique fédérale de Lausanne)
    2004 - 2006 · 2 yrs

  • Postdoctoral Researcher at UC Berkeley
    2003 - 2004 · 1 yr