Teaching

Instruction at University of Passau

Undergraduate courses

1. Software Engineering, 5300
   Winter 2009/10
2. Algorithms and Data Structures, 5200
   Summer 2010

Graduate courses

1. Software Analysis, 5840
   Winter 2009/10
2. Object-Oriented Programming, 5620
   Summer 2010

Graduate seminars

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

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. Gregor Endler, PhD program;
2. Ashgan Fararooy, PhD program;
3. Erkan Keremoglu, PhD program;
4. Stefan Löwe, PhD program;
5. Malte Rosenthal, PhD program;
6. Philipp Wendler, PhD program;
7. Grégory Théoduloz, PhD program (at EPFL, co-supervision with Prof. Henzinger);

Master’s thesis supervisor

1. Ashgan Fararooy, SFU, 2010,
   Performing Static Structure Analysis using Software Dependencies
2. Philipp Wendler, Uni Passau, 2010,
   Software Verification based on Adjustable Large-Block Encoding
3. Damien Zufferey, EPFL, 2009, with Prof. Henzinger
4. 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
5. 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. Philipp Wendler (from Uni Passau), SFU, 2009;
2. Michael Tautschnig (from TU Darmstadt), SFU, 2008;
3. Andreas Holzer (from TU Darmstadt), SFU, 2008;
4. Alberto Griggio (from Uni Trento), SFU, 2008;
5. Damien Zufferey (from EPFL), SFU, 2007;
6. Sudhanshu Narang (from IIT Delhi), SFU, 2007;
7. Rajhans Samdani (from IIT Bombay), EPFL, 2006;
8. 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 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

This document was translated from L^AT_EX by H^EV^EA.