-
Software Verification with Isabelle/HOL
Australian National University, Australia
S2 2026
-
Principles of Programming Languages
Australian National University, Australia
S2 2025
-
Software Verification with Isabelle/HOL
Australian National University, Australia
S2 2024
-
Principles of Programming Languages
Australian National University, Australia
S2 2023
-
Algorithmic Verification
Australian National University, Australia
S2 2022
-
Algorithmic Verification
University of Limerick, Ireland
2022
-
Principles of Programming Languages
Australian National University, Australia
S2 2021
-
Introduction to CTL Model Checking
Australian National University, Australia
S2 2021
-
Algorithmic Verification
University of New South Wales, Australia
T1 2019
-
Algorithmic Verification
University of New South Wales, Australia
S1 2018
-
Algorithmic Verification
University of New South Wales, Australia
S1 2017
-
Modelling and Verification of Protocols for Wireless Networks
University of Twente, Netherlands
S1 2017
-
Algorithmic Verification
University of New South Wales, Australia
S1 2016
-
Algorithmic Verification
University of New South Wales, Australia
S1 2015
-
Algorithmic Verification
University of New South Wales, Australia
S1 2014
·
jointly with
Franck Cassez
-
Theory of Computation
University of New South Wales, Australia
S1 2013
·
jointly with
Rob van Glabbeek
-
Algorithmic Verification
University of New South Wales, Australia
S1 2013
·
jointly with
Franck Cassez, Ralf Huuck
-
Comparative Concurrency Semantics
University of New South Wales, Australia
S1 2012
·
jointly with
Rob van Glabbeek
-
Algorithmic Verification
University of New South Wales, Australia
S1 2011
·
jointly with
Ansgar Fehnker
-
Machines and Languages
University of Sheffield, United Kingdom
S1 2007
·
jointly with
Georg Struth
-
Aerospace Computing
University of Sheffield, United Kingdom
S2 2006
·
jointly with
Kirill Bogdanov