Teaching

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 students

  1. Matthias Dangl, PhD program;
  2. Stefan Löwe, PhD program;
  3. Andreas Stahlbauer, PhD program;
  4. Philipp Wendler, PhD program;

PhD thesis supervisor

  1. Erkan Keremoglu (now at Microsoft, Redmond, USA);

Master’s thesis supervisor

  1. Karlheinz Friedberger, Uni Passau, 2015,
    Block-Abstraction Memoization as an Approach to Verify Recursive Procedures
  2. Matthias Dangl, Uni Passau, 2013,
    Light-Weight Invariant Generation for Software Verification with CPAchecker
  3. Christopher Jahn, Uni Passau, 2012,
    Graph Drawing for Abstract Reachability Graphs
  4. Andreas Stahlbauer, Uni Passau, 2012,
    Block-Encoding Strategies for Predicate Analysis: An Experimental Study
  5. Peter Häring, Uni Passau, 2012,
    A Comparative Study of Software Measures as Problem-Predictors
  6. Andra-Maria Babau, Uni Passau, 2011,
    Modeling and Verification of Airport Security Processes using BPMN and Protocol Interfaces — A Case Study
  7. Dmitry Balzer, Uni Passau, 2010,
    Werkzeugunterstützung für Verstehen und Monitoring von Software-Abhängigkeiten
  8. Alexander von Rhein, Uni Passau, 2010,
    Verification Tasks for Software Model Checking
  9. Ashgan Fararooy, SFU, 2010,
    Performing Static Structure Analysis using Software Dependencies
  10. Philipp Wendler, Uni Passau, 2010,
    Software Verification based on Adjustable Large-Block Encoding,
    won the NRW Young Scientist Award 2010 in Dynamic Intelligent Systems,
    received for the Faculty Award 2011 for best Master’s thesis,
    and the yearly award of the industrial association of the region Niederbayern IHK
  11. Damien Zufferey, EPFL, 2009, with Prof. Henzinger
  12. Grégory Théoduloz, EPFL, 2006, with Prof. Henzinger,
    Integrating Shape Analysis into the Model Checker Blast,
    won the EPFL Unicible Award 2006 and the ELCA Informatique Prize
  13. Andreas Noack, BTU, 2000, with Prof. Lewerentz,
    BDD-basierte Verifikation von Echtzeitsystemen,
    won the BTU University Award 2000 for best Master’s thesis

Internship students

  1. Emanuele De Angelis (from University of Chieti-Pescara), Uni Passau, 2013;
  2. Przemyslaw Daca (from TU Denmark), Uni Passau, 2011;
  3. Philipp Wendler (from Uni Passau), SFU, 2009;
  4. Michael Tautschnig (from TU Darmstadt), SFU, 2008;
  5. Andreas Holzer (from TU Darmstadt), SFU, 2008;
  6. Alberto Griggio (from Uni Trento), SFU, 2008;
  7. Damien Zufferey (from EPFL), SFU, 2007;
  8. Sudhanshu Narang (from IIT Delhi), SFU, 2007;
  9. Rajhans Samdani (from IIT Bombay), EPFL, 2006;
  10. Nitesh Kumar (from IIT Kanpur), EPFL, 2005

PhD thesis referee

  1. Jiri Slaby, Masaryk University, 2014
  2. Andreas Holzer, TU Vienna, 2013

PhD thesis defense chair

  1. Jan Seedorf, Uni Passau, 2013
  2. Roozbeh Farahbod, SFU, 2009

PhD depth examination chair

  1. Brian Fraser, SFU, 2007

MSc thesis referee

  1. Siegfried Rasthofer, Uni Passau, 2013
  2. Stephan Huber, Uni Passau, 2012
  3. Hendrik Speidel, Uni Passau, 2011
  4. Kathrin Hanauer, Uni Passau, 2010
  5. George Ma, SFU, 2007

MSc thesis defence examiner

  1. Wolfgang Haas, SFU, 2007;
  2. George Ma, SFU, 2007

MSc thesis defense chair

  1. Kaiyan Jin, SFU, 2009;
  2. Edward Glen, SFU, 2007;
  3. Majid Bagheri, SFU, 2007;
  4. Chiyoko Kawano, SFU, 2006

Departmental and University Committees

  1. Promotionsausschuss FIM, Uni Passau, 2015–2017
  2. Faculty Council, Uni Passau, 2013–2015
  3. Studiengangsverantwortlicher MSc Informatik, Uni Passau, seit Jan. 2015
  4. Studienberater Lehramt Informatik, Uni Passau, seit 2011
  5. Promotionsausschuss FIM, Uni Passau, 2013–2015
  6. Berufungskommission W3 “Theoretische Informatik”, Uni Passau, 2014–2015
  7. Berufungskommission W3 “Betriebliche Informationssysteme”, Uni Passau, 2014
  8. Chair Berufungskommission W3 “Complex-Systems Engineering”, Uni Passau, 2012
  9. Berufungskommission W3 “Embedded Systems”, Uni Passau, 2012
  10. Promotionsausschuss FIM, Uni Passau, 2010–2013
  11. Berufungskommission W2 “Medieninformatik”, Uni Passau, 2011
  12. Berufungskommission W3 “Bildverarbeitung”, Uni Passau, 2009–2011
  13. Hardware and Capital Resources Committee, SFU, 2008–2009
  14. Faculty Recruiting Committee, SFU, 2007–2008
  15. Faculty Council, BTU Cottbus, 1998–2000
  16. President of the CS Students’ Organization, BTU Cottbus, 1997–1998
© Dirk Beyer
This document was translated from LATEX by HEVEA.

Home page