- UNL, 2009: SCL, Science of Computational Logic, European Master’s in Computational Logic
- UNL, 2008: SCL, Science of Computational Logic, European Master’s in Computational Logic
- UNSW, Session 2, 2007: COMP4418 Knowledge Representation and Reasoning
- UNSW, Session 1, 2007: COMP4415 First-order Logic
- UNSW, Session 2, 2006: COMP4418 Knowledge Representation and Reasoning
- UNSW, Session 1, 2006: COMP4415 First-order Logic
- UNSW, Session 1, 2005: COMP4418 Knowledge Representation and Reasoning
- U.of Toronto, Winter, 2003: CSC324 Principles of Programming Languages
