teaching
student projects
- Open thesis projects
- Verifying the core of the standard C library in Isabelle/HOL
- Summer projects
- If you are interested in a PhD thesis in software verification and interactive theorem proving, if you are a motivated and smart, and if you think your interests are aligned with the research of our group, feel free to contact me directly.
lectures (NICTA courses at UNSW & ANU)
- 2011 - Session 2
- 2010 - Session 2
- 2010 - Session 1
- 2008 - Session 2
- 2006 - Session 1
- 2005 - Session 2
- COMP4161 Advanced Topics in Software Verification
- 2004 - Session 2
former teaching (at TU Munich, German only)
- Sommer 2003
- Betreuung im Praktikum Spezifikation und Verifikation
- Winter 2002/2003
- Betreuung im Proseminar Softwaredesaster
- Sommer 2002
- Leitung Praktikum Spezifikation und Verifikation
- Winter 2001/2003
- Übungsleitung zur Vorlesung Semantik
- Betreuung Diplomarbeit Subroutines and Java Bytecode Verification, bearbeitet von Martin Wildmoser
- Sommer 2001
- Übungsleitung zur Vorlesung Logik
- Betreuung im Praktikum Spezifikation und Verifikation
- Winter 2000/2001
- Tutorübung zur Einführung in die Informatik I
- Betreuung SEP Ein generischer Disassembler für Java Bytecode bearbeitet von Matthias Kramm
- Sommer 2000
- Übungsleitung zur Vorlesung Logik (Gleichungslogik)
- Betreuung im Praktikum Spezifikation und Verifikation
- Winter 1999/2000
- Übungsleitung zur Vorlesung Semantik von Programmiersprachen
- Proseminar Perlen der Informatik