His research interests span the specification, design and implementation of multi-agent systems, including software architectures for multi-agent systems, logics for reasoning about agent-based systems, and software tools for building multiagent systems. He has published over 100 papers in leading international journals and conferences in artificial intelligence and multi-agent systems. He has served on the PC or SPC of AAMAS from 2008 to 2015, and in 2016 was an Area Expert SPC for verification and validation. He is a member of the steering group of the UK Network on Verification and Validation of Autonomous Systems.