Alessio Lomuscio, PhD in 1999, is Professor of Logic in Multi-Agent Systems in the Department of Computing at Imperial College London (UK), where he leads the Verification of Autonomous Systems Group and serves as Deputy Director and Imperial lead for the UKRI Centre for Doctoral Training in Safe
and Trusted Artificial Intelligence. He is a Fellow of the European Association of Artificial Intelligence and currently holds a Royal Academy of Engineering Chair in Emerging Technologies. He held an EPSRC Leadership Fellowship between 2010 and 2015.
Alessio’s research interests concern the realisation of safe artificial intelligence. Since 2000, in collaboration with colleagues, he has worked on the development of formal methods for the verification of autonomous systems and multi-agent systems. To this end, he has put forward several methods based on model checking and various forms abstraction to verify AI systems. A particular focus of Alessio’s work has been the attention to support AI specifications,
including those concerning the knowledge and strategic properties of the agents in their interactions. The methods and resulting toolkits have found applications in autonomous vehicles, robotics, and swarms. He has recently turned his attention to the verification of systems synthesised via machine learning methods.
He has published over 100 papers in AI conferences (including AAMAS, IJCAI, AAAI, ECAI), verification and formal methods (CAV, SEFM), and services (ICSOC, ICWS) and over 30 papers in international journals (AIJ, JAIR, JAAMAS).