teaching
student projects
- Selected project topics
- If you are interested in a PhD thesis in software verification and interactive theorem proving, and have competitive marks for a UNSW PhD scholarship, feel free to contact me directly.
lectures at UNSW
- 2020 - Term 3
- 2018 - Session 2
- 2017 - Session 2
- 2016 - Session 2
- 2015 - Session 2
- 2014 - Session 2
- 2013 - Session 2
- 2012 - Session 2
- 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