teaching
student projects
- Open thesis projects
- Verifying the core of the standard C library in Isabelle/HOL
- Translating Haskell to Isabelle/HOL
- If you are interested in a thesis/PhD/summer project in software verification, theorem proving, or formal methods in general, contact me. More topics are available.
- Current students
- David Cock, research engineer
- Andrew Boyton, honours student
- Rafal Kolanski, PhD student
- Simon Winwood, research engineer
- Thomas Sewell, research engineer
- Harvey Tuch, PhD student (winner CISRA prize)
- Chenyi Zhang, PhD student
lectures (NICTA courses at UNSW & ANU)
- 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