Teaching

Instruction at University of Passau

Undergraduate courses

  1. Software Engineering, 5300
    Winter 2009/10
  2. Algorithms and Data Structures, 5200
    Summer 2010
  3. Foundations of Computer Science, 5100
    Winter 2010/11

Graduate courses

  1. Software Analysis, 5840
    Winter 2009/10, Winter 2011/12
  2. Object-Oriented Programming, 5620
    Summer 2010
  3. Principles of Compiler Design, 5790
    Summer 2012

Graduate seminars

  1. Seminar Softwaretechnik, 5847
    Winter 2009/10, Winter 2010/11, Winter 2011/12
  2. Seminar Software Testing and Analysis, 5848
    Summer 2010

Events for High-School Students

  1. Sommercamp Informatik, 5900
    Summer 2010, Summer 2011

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. Stefan Löwe, PhD program;
  2. Philipp Wendler, PhD program;

Master’s thesis supervisor

  1. Andra-Maria Babau, Uni Passau, 2011,
    Modeling and Verification of Airport Security Processes using BPMN and Protocol Interfaces — A Case Study
  2. Dmitry Balzer, Uni Passau, 2010,
    Werkzeugunterstützung für Verstehen und Monitoring von Software-Abhängigkeiten
  3. Alexander von Rhein, Uni Passau, 2010,
    Verification Tasks for Software Model Checking
  4. Ashgan Fararooy, SFU, 2010,
    Performing Static Structure Analysis using Software Dependencies
  5. 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
  6. Damien Zufferey, EPFL, 2009, with Prof. Henzinger
  7. 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
  8. Andreas Noack, BTU, 2000, with Prof. Lewerentz,
    BDD-basierte Verifikation von Echtzeitsystemen,
    won the BTU University Award 2000 for best Master’s thesis

Bachelor’s thesis supervisor

  1. Michael Käufl, Uni Passau, 2011,
    Extraction of Protocol Interfaces from C Programs

Internship students

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

PhD thesis defense chair

  1. Roozbeh Farahbod, SFU, 2009

PhD depth examination chair

  1. Brian Fraser, SFU, 2007

MSc thesis referee

  1. Hendrik Speidel, Uni Passau, 2011
  2. Kathrin Hanauer, Uni Passau, 2010
  3. 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. Vorsitz Berufungskommission W3 “Complex-Systems Engineering”, Uni Passau, 2012
  2. Promotionsausschuss FIM, Uni Passau, 2010–2012
  3. Berufungskommission W2 “Medieninformatik”, Uni Passau, 2011
  4. Berufungskommission W3 “Bildverarbeitung”, Uni Passau, 2009–2011
  5. Hardware and Capital Resources Committee, SFU, 2008–2009
  6. Faculty Recruiting Committee, SFU, 2007–2008
  7. Faculty Council, BTU Cottbus, 1998–2000
  8. President of the CS Students’ Organization, BTU Cottbus, 1997–1998
© Dirk Beyer
This document was translated from LATEX by HEVEA.


Home page