Teaching

Supervising

  • List of  project ideas I am interested in supervising: Project Ideas
  • Projects I have supervised
    • Part II Project on Deduction rules for ontology reasoning, Computer Laboratory, University of Cambridge, 2017-2018
    • Part II Project on Data visualisation in ontologies, Computer Laboratory, University of Cambridge, 2017-2018
    • MPhil Project on Human-Style output for interactive theorem proving, Computer Laboratory, University of Cambridge, 2017-2018
  • Logic and Proof Part IB course, Computer Laboratory, University of Cambridge, 2017

Teaching Assistant

Lab Demonstrator

Guest Lecturer