Teaching

Currently I am involved with teaching the following course units.

COMP61111 - Logic and Applications
COMP61132 - Modal Logic and Description Logics
COMP70100 - Effective Academic Writing

Previous teaching:

COMP60121/CS612 - Automated Reasoning
COMP60161/CS616 - Knowledge Representation and Reasoning
CS1112 - Reasoning about Programs
CS510 - Introduction to Programming Using C

Lists of student projects can be found here:

Third year projects
MSc projects

PhD projects

Students interested in doing a PhD in areas related to automated reasoning, logic, knowledge representation, logic-based multi-agent systems and any topics close to my research interests are welcome to have a chat with me about possible projects. Since every year PhD studentships are awarded from April onwards it is advisable to do so early in the academic year.

Current and former students

Last modified: 16 Sep 10