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
  • COMP4161 Advanced Topics in Software Verification
• 2006 - Session 1
  • COMP3161/COMP9161 Concepts of Programming Languages
• 2005 - Session 2
  • COMP4161 Advanced Topics in Software Verification
• 2004 - Session 2
  • Theorem Proving - Principles, Techniques, Applications

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