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

• Systems Requirements and Design Department of Computer Science, Univeristy of Bath, 2014 – 2016
• Discrete Mathematics for Computation Department of Computer Science, Univeristy of Bath, 2014 – 2016
• Designing Interactive Systems Department of Computer Science, Univeristy of Bath, 2014 – 2016

Lab Demonstrator

• Analytical Mathematics for Applications Department of Computer Science, Univeristy of Bath, 2015 – 2016
• Principles of Programming Department of Computer Science, Univeristy of Bath, 2013

Guest Lecturer

• Intelligent Agents Bath, UK, November 2015