We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
Btor2-Select accepted at CAV 2025
activities-university-web

Teaching

Instruction at Ludwig-Maximilians-Universität München

Undergraduate courses

  1. Software Engineering
    Winter 2016/17, Winter 2017/18, Winter 2018/19, Winter 2020/21, Winter 2021/22, Winter 2024/25
  2. Formal Specification and Verification
    Summer 2017, Summer 2018
  3. Formale Sprachen und Komplexität
    Summer 2020
  4. Theoretische Informatik für Medieninformatiker
    Summer 2020

Graduate courses

  1. Semantics for Programming Languages
    Winter 2019/20, Winter 2020/21, Winter 2021/22
  2. Testing
    Summer 2018, Summer 2019, Summer 2020, Summer 2021, Summer 2022, Summer 2023
  3. Software Analysis and Verification
    Winter 2020/21, Winter 2021/22
  4. Software Verification
    Winter 2018/19, Winter 2019/20, Summer 2023, Summer 2024, Summer 2025
  5. Formal Specification and Verification II
    Winter 2017/18
  6. Principles of Compiler Design
    Winter 2024/25,
  7. Science and Practice in Software Engineering
    Summer 2021, Summer 2022, Summer 2023, Summer 2024

Graduate seminars

  1. Seminars and Practical Courses on Software Engineering, Software Analysis, Verification, Testing, Benchmarking, and Reproducibility

Instruction at University of Passau

Undergraduate courses

  1. Foundations of Computer Science, 5100
    Winter 2010/11
  2. Algorithms and Data Structures, 5200
    Summer 2010
  3. Software Engineering, 5300
    Winter 2009/10, Winter 2012/13, Winter 2013/14, Winter 2014/15
  4. Theoretische Informatik I, 5306
    Winter 2015/16
  5. Theoretische Informatik II, 5308
    Winter 2015/16
  6. Spezifikation und Verifikation von Eingebetteten Systemen, 5463
    Winter 2014/15, Winter 2015/16
  7. Software Engineering Praktikum, 5500
    Summer 2014

Graduate courses

  1. Software Analysis, 5840
    Winter 2009/10, Winter 2011/12
  2. Software Verification, 5843
    Winter 2012/13, Winter 2013/14, Winter 2014/15, Winter 2015/16
  3. Object-Oriented Programming, 5620
    Summer 2010
  4. Principles of Compiler Design, 5790
    Summer 2012, Summer 2013, Summer 2014
  5. Academic and Scientific Methods, 5844
    Summer 2012, Summer 2014

Graduate seminars

  1. Seminar Seminar Entwurf und Analyse von Softwaresystemen, 5846/5847
    Winter 2009/10, Winter 2010/11, Winter 2011/12, Summer 2012, Winter 2013/14, Summer 2014, Winter 2014/15, Winter 2015/16
  2. Seminar Software Testing and Analysis, 5848
    Summer 2010, Winter 2012/13

Events for High-School Students

  1. Sommercamp Informatik, 5900
    Summer 2010, Summer 2011, Summer 2012, Summer 2013, Summer 2014, Summer 2015

Instruction at SFU

Undergraduate courses

  1. Principles of Compiler Design, CMPT 379
    Spring 2008, Spring 2009
  2. Software Engineering II, CMPT 475
    Spring 2007, Spring 2008, Fall 2008

Graduate courses

  1. Software Engineering, CMPT 745
    Fall 2007, Fall 2008
  2. Special Topics in CS - Program Analysis, CMPT 880
    Spring 2007

Graduate seminars

  1. Software Verification, CMPT 894
    Spring 2008, Spring 2009

Teaching Assistant at EPFL and BTU

Undergraduate courses

  1. Theoretical Computer Science, Prof. Henzinger
    Winter 2005/06
  2. Introduction to Computer Science, Prof. Bachmann
    Winter 2002/03
  3. Introduction to Data Structures and Efficient Algorithms, Prof. Heiner
    Winter 2000/01, Winter 1998/99
  4. Introduction to Software Engineering, Prof. Lewerentz
    Summer 2000, Summer 1999
  5. Introduction to Software Engineering (for teachers from high schools), Prof. Lewerentz
    Summer 2000
  6. Introduction to Software Engineering (for engineers from industry), Prof. Lewerentz
    Summer 2002, Summer 1999
  7. Introduction to Software Engineering (for students of engineering), Prof. Lewerentz
    Summer 2001
  8. Computer Science (for students of environmental and resource management), Dr. Rust
    Winter 2000/01, Winter 1999/2000
  9. Software Project, Prof. Lewerentz
    Winter 2002/03, Summer 2002, Winter 2001/02, Summer 2001, Winter 2000/01, Summer 1999

Graduate courses

  1. Computer-Aided Verification, Prof. Henzinger
    Winter 2004/05
  2. Software Engineering I, Prof. Lewerentz
    Winter 2001/02
  3. Software Engineering II, Prof. Lewerentz
    Sommer 2003, Summer 2002, Summer 2001
  4. Software Project Management, Prof. Lewerentz
    Winter 2001/02

Graduate seminars

  1. Thrust in Reliable Software (TRESOR)
    Winter 2004/05, Summer 2005, Winter 2005/06
  2. Complexity and Software
    Winter 2002/03

Advising

Current postdocs

  1. Thomas Lemberger;
  2. Philipp Wendler;
  3. Stefan Winter;

Current students

  1. Daniel Baier, PhD program;
  2. Marvin Brieger, PhD program;
  3. Po-Chun Chien, PhD program;
  4. Marek Jankola, PhD program;
  5. Matthias Kettl, PhD program;
  6. Iwo Kurzidem, PhD program;
  7. Marian Lingsch-Rosenfeld, PhD program;
  8. Henrik Wachowitz, PhD program;

PhD thesis supervisor

  1. Sudeep Kanav. Exploring cooperative verification: Survey, tools, and experiments. LMU Munich, 2024.
  2. Martin Spiessl. Leveraging invariant information towards incremental software model checking. LMU Munich, 2024.
  3. Lydia Gauerhof. Essential properties for safe behaviour of a perception function in automated driving. LMU Munich, 2023.
  4. Matthias Dangl. Witness-based validation of verification results with applications to software-model checking. LMU Munich, 2022.
  5. Thomas Lemberger. Towards cooperative software verification with test generation and formal verification. LMU Munich, 2022.
  6. Karlheinz Friedberger. Efficient software model checking with block-abstraction memoization. LMU Munich, 2022.
  7. Sabine Bauer. Decidability of linear tree constraints for resource analysis of object-oriented programs. LMU Munich, 2019.
  8. Philipp Wendler. Towards practical predicate analysis. University of Passau, 2017.
  9. Stefan Löwe. Effective approaches to abstraction refinement for automatic software verification. University of Passau, 2017.
  10. Mehmet Erkan Keremoglu. Towards scalable software analyisis using combinations and conditions with CPAchecker. Simon Fraser University, 2011.
  11. Grégory Théoduloz. Software verification by combining program analyses of adjustable precision. EPFL, MTC Lab, supervised by Prof. Thomas Henzinger, 2010.

Internship students

  1. Paulína Ayaziová (from Masaryk University), LMU Munich, 2025;
  2. Levente Bajczi (from Budapest University of Technology and Economics), LMU Munich, 2024, 2025;
  3. Zsófia Ádám (from Budapest University of Technology and Economics), LMU Munich, 2023, 2024, 2025;
  4. Emanuele De Angelis (from University of Chieti-Pescara), Uni Passau, 2013;
  5. Przemyslaw Daca (from TU Denmark), Uni Passau, 2011;
  6. Philipp Wendler (from Uni Passau), SFU, 2009;
  7. Michael Tautschnig (from TU Darmstadt), SFU, 2008;
  8. Andreas Holzer (from TU Darmstadt), SFU, 2008;
  9. Alberto Griggio (from Uni Trento), SFU, 2008;
  10. Damien Zufferey (from EPFL), SFU, 2007;
  11. Sudhanshu Narang (from IIT Delhi), SFU, 2007;
  12. Rajhans Samdani (from IIT Bombay), EPFL, 2006;
  13. Nitesh Kumar (from IIT Kanpur), EPFL, 2005

Departmental and University Committees

  1. Chair Prüfungsausschuss Informatik IfI, LMU Munich, since 2019
  2. Berufungskommission W3 “Fundamentals of Programming”, TU Munich, 2024
  3. Berufungskommission W3 “Medieninformatik”, LMU Munich, 2024
  4. Berufungskommission W1 “Software Engineering”, Uni Konstanz, 2023
  5. Chair of the Department of Computer Science, LMU Munich, 2020–2022
  6. Chair Berufungskommission W3 “Programmierung and AI”, LMU Munich, 2021–2022
  7. Chair Berufungskommission W3 “Theoretische Informatik (2)”, LMU Munich, 2021–2022
  8. Berufungskommission W3 “Technology-Enhanced Learning”, LMU Munich, 2019
  9. Berufungskommission W1 “Medieninformatik”, LMU Munich, 2019
  10. Chair Berufungskommission W3 “Theoretische Informatik”, LMU Munich, 2018–2019
  11. Berufungskommission W1 “Software Engineering”, LMU Munich, 2018–2019
  12. Prüfungsausschuss IfI, LMU Munich, 2016–2019
  13. Promotionsausschuss FIM, Uni Passau, 2015–2017
  14. Faculty Council, Uni Passau, 2013–2015
  15. Studiengangsverantwortlicher MSc Informatik, Uni Passau, 2015–2016
  16. Studienberater Lehramt Informatik, Uni Passau, 2011–2016
  17. Promotionsausschuss FIM, Uni Passau, 2013–2015
  18. Berufungskommission W3 “Theoretische Informatik”, Uni Passau, 2014–2015
  19. Berufungskommission W3 “Betriebliche Informationssysteme”, Uni Passau, 2014
  20. Chair Berufungskommission W3 “Complex-Systems Engineering”, Uni Passau, 2012
  21. Berufungskommission W3 “Embedded Systems”, Uni Passau, 2012
  22. Promotionsausschuss FIM, Uni Passau, 2010–2013
  23. Berufungskommission W2 “Medieninformatik”, Uni Passau, 2011
  24. Berufungskommission W3 “Bildverarbeitung”, Uni Passau, 2009–2011
  25. Hardware and Capital Resources Committee, SFU, 2008–2009
  26. Faculty Recruiting Committee, SFU, 2007–2008
  27. Faculty Council, BTU Cottbus, 1998–2000
  28. President of the CS Students’ Organization, BTU Cottbus, 1997–1998
© Dirk Beyer
This document was translated from LATEX by HEVEA.