Supervising

I supervise a number of PhD students, primarily in the Edinburgh Centre for Robotics and the Department of Computer Science at Heriot-Watt University. Prospective students who are interested in working with me should check my research page for potential project topics. I previously supervised PhD students in the School of Informatics at the University of Edinburgh.

Current PhD students that I am involved in (co-)supervising:

• Gary Smith
  PhD, Edinburgh Centre for Robotics, Heriot-Watt University & University of Edinburgh
  Topic: Statistical Relational Artificial Intelligence for Reasoning About Mental States   INFO
• Emanuele De Pellegrin
  PhD, Edinburgh Centre for Robotics, Heriot-Watt University & University of Edinburgh
  Topic: Learning Epistemic Action Effects in a Human Collaborative Environment   INFO | GIT | GOOGLE SCHOLAR
• Andy Edmondson
  PhD, Edinburgh Centre for Robotics, Heriot-Watt University & University of Edinburgh
  Topic: coming soon
• Ryan Farish
  PhD, Edinburgh Centre for Robotics, Heriot-Watt University & University of Edinburgh
  Topic: coming soon

Past students that I have been involved in (co-)supervising who have have completed their programmes of study:

• Alasdair Hill
  PhD, Department of Computer Science, Heriot-Watt University, 2017-2023
  Thesis: Planning Problems as Types, Plans as Programs: A Dependent Types Infrastructure for Verification and Reasoning about Automated Plans in Agda   INFO | PDF
• Yaniel Carreno
  PhD, Edinburgh Centre for Robotics, Heriot-Watt University & University of Edinburgh, 2018-2023
  Thesis: Towards Full-Scale Autonomy for Multi-Vehicle Systems Planning and Acting in Extreme Environments   INFO | PDF | WEB | GOOGLE SCHOLAR
• Jun Hao Alvin Ng
  PhD, Edinburgh Centre for Robotics, Heriot-Watt University & University of Edinburgh, 2018-2022
  Thesis: Relational Knowledge and Representation for Reinforcement Learning   INFO | PDF
• Paola Ardón Ramírez
  PhD, Edinburgh Centre for Robotics, Heriot-Watt University & University of Edinburgh, 2018–2022
  Thesis: Reasoning and Understanding Grasp Affordances for Robot Manipulation   INFO | PDF | WEB | GOOGLE SCHOLAR
• Matthew Crosby
  PhD, School of Informatics, University of Edinburgh, 2010–2014
  Thesis: Multiagent Classical Planning   INFO | PDF | GOOGLE SCHOLAR
• Kira Mourão
  PhD, School of Informatics, University of Edinburgh, 2009–2012
  Thesis: Learning action representations using kernel perceptrons   INFO | PDF | GOOGLE SCHOLAR
• George Christelis
  PhD, School of Informatics, University of Edinburgh, 2008–2011
  Thesis: Automated Norm Synthesis in Planning Environments   INFO | PDF

I also regularly supervise 4th Year Honours projects and Master's projects.