Teaching

• COMP1140 Data Structures and Algorithms II
  • S2 2007, 2008, 2009, 2010 (lectures on Combinatorics and Probability)
• COMP1140 Introduction to Advanced Computing II
  • S2 2011 (lectures on Propositional Logic)
• COMP3620/6320 Artificial Intelligence
  • S1 2006 (lectures on Search)
• COMP3630/6363 Theory of Computation
  • S1 2007, 2008, 2009, 2010, 2011, 2012, 2013
• COMP4418 Knowledge Representation and Reasoning, UNSW
  • S2 2009, 2010 (lectures on Satisfiability)
• COMP4630/6463 Overview of Logic and Computation
  • S1 2007, 2008, 2009, S2 2010, 2011 (lectures on Knowledge Compilation); S2 2012 (lectures on Propositional Logic)
• COMP8620 Advanced Topics in AI
  • S2 2008 (lectures on Reasoning with Bayesian Networks)
• Logic Summer School
  • 2007 (lectures on Knowledge Compilation)
  • 2010, 2011, 2012 (lectures on Logic-based Probabilistic Reasoning: part 1, 2, 3, 4, 5)

Students

• Kin-Hon Chan, COMP3006 project, 2010
• Samuel Lee, ENGN4200 final year project, 2009
• Sajjad Siddiqi, PhD, 2009
• Anika Schumann, PhD, 2008 (panel chair Sylvie Thiébaux)