Supervising
- List of project ideas I am interested in supervising: Project Ideas
- Projects I have supervised
- Part III Project on Coordination in Multi Reinforcement Learning Agents, Computer Laboratory, University of Cambridge, 2018-2019
- Part II Project on Incorporation of expert knowledge in Reinforcement Learning (RL), Computer Laboratory, University of Cambridge, 2018-2019
- 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
