Supervising

  • List of Project Ideas I am intereted in supervising

  • Logic and Proof Part IB course, Computer Laboratory, University of Cambridge, 2017

  • 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

    • 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 Unit, Bath, UK, November 2015