Teaching
Some of the courses I have taught in the past:
-
COMP6463: Overview of Logic and Computation . 2011.
-
Programming in Higher-Order Logic. ANU Logic Summer School, 2009, 2010, 2011.
Slides and course notes.
-
COMP6463: Overview of Logic and Computation. ANU, 2010.
-
Introduction to Logic. ANU Summer Schools on Logic and Learning, February 2009.
Slides and videos.
-
Specifications of Computation in Intuitionistic and Linear Logic.
ANU Summer School 2007.
Slides:
lecture 1,
lecture 2,
lecture3,
lecture 4,
lecture 5.
-
Fundamentals of Metalogic. With Jonh Slaney.
ANU Logic Summer School, December 2006.
-
ANU Course COMP1140: Data Structures and Algorithms II. 2006 -- 2010.
-
ANU Course COMP8360: Beyond Classical Logic. 2007.
I taught half of the course. See the course website.