• List of  project ideas I am interested in supervising: Project Ideas
  • Projects I have supervised
    • MPhil Project on rule extraction from deep neural networks
    • Part II Project on example-based explanation in machine learning
    • Part II Project on symbolic rule extraction from neural networks, 2019-2020
    • MPhil Project on ontology-based representation of cancer driver genes for predictive purposes, 2019-2020
    • Part III Project on coordination in multi reinforcement learning agents, 2018-2019
    • Part II Project on incorporation of expert knowledge in Reinforcement Learning (RL), 2018-2019
    • Part II Project on deduction rules for ontology reasoning, 2017-2018
    • Part II Project on data visualisation in ontologies, 2017-2018
    • MPhil Project on human-Style output for interactive theorem proving, 2017-2018
  • Logic and Proof Part IB course, Computer Laboratory, University of Cambridge, 2017

Teaching Assistant

Lab Demonstrator

Guest Lecturer