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
- COMP4630/6463 Overview of Logic and Computation
- 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)
Back to my home page
|