Teaching

• 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