My research interests span the specification, design and implementation of autonomous intelligent systems. A key theme of this work is `safe AI', specifically ensuring that autonomous intelligent systems function safely and in accordance with their design objectives. The current focus of my research is ensuring the safe behaviour of autonomous systems that adapt or learn at run time.
I have also worked on a wide range of artificial intelligence research problems, including belief revision, reasoning, search and agent-based simulation.
I am currently accepting PhDs in Computing Science.
Please get in touch if you would like to discuss your research ideas further.
Current PhD students
- Simon Castle-Green (University of Nottingham)
- Jan de Mooij (Utrecht University)
- Giovanni Varricchione (Utrecht University)
Funding and Grants
- Normative cooperation among autonomous agents, ONRG/EOARD/DSTL
- CAUSES: Causality in multi-agent systems; learning and verification, Netherlands NWO
- Safe Correct-by-Construction Control Programs for FUSION reactor maintenance, EPSRC/RAIN feasibility study
- Elastic Manufacturing Systems --- a platform for dynamic, resilient and cost-effective manufacturing services, EPSRC EP/T024429/1
- DiManD: Digital Manufacturing and Design Training Network}, Marie Sklodowska-Curie Innovative Training Network, EU