- Developing the EPSRC project 'An Abstraction-based Technique for Safe Reinforcement Learning'
- One 4-year PhD position is available on themes pertaining to his EPSRC project
Research Experience
- Senior Lecturer at the Department of Computing, Imperial College London
- Principal Investigator of the EPSRC project 'An Abstraction-based Technique for Safe Reinforcement Learning'
- Co-Director of the CDT in Safe and Trusted AI
Background
- Research Interests: Safe AI, mainly through the application of formal methods
- Areas of Interest: Safe Reinforcement Learning, Logic-based Languages for Artificial Intelligence, The Specification and Verification of Multi-agent Systems, Strategic Reasoning under Imperfect Information
- Brief Introduction: Senior Lecturer at the Department of Computing, Imperial College London, focusing on Safe AI using formal methods.