Rate My Professor Alessio Lomuscio

Alessio Lomuscio is Professor of Safe Artificial Intelligence in the Department of Computing within the Faculty of Engineering at Imperial College London, where he leads the Safe AI Lab. He holds the Royal Academy of Engineering Chair in Emerging Technologies, awarded in 2018. Lomuscio joined Imperial College London in 2006. Prior to this, he was Lecturer at King's College London and Senior Lecturer at University College London. He earned his PhD in Computer Science from the University of Birmingham in 1999 and his Laurea in Electronic Engineering from Politecnico di Milano in 1995. He is an ACM Distinguished Member and a Fellow of the European Association for Artificial Intelligence. In 2010, he received an EPSRC Leadership Fellowship to develop techniques for assessing autonomous systems.

Lomuscio's research specializations include verification and robust learning for neural networks and decision trees, robust machine learning in aviation and finance, monitoring of machine learning systems, assurance for autonomous systems and AI, and verification and validation of neuro-symbolic systems. He serves as the Imperial lead for the UK Research and Innovation Centre for Doctoral Training in Safe and Trusted Artificial Intelligence. Key publications include 'An approach to reachability analysis for feed-forward ReLU neural networks' (2017, with Lalit Maganti), which has advanced neural network verification, and 'Formal verification of neural agents in non-deterministic environments with temporal logic' (2022, with Muhammed E. Akintunde). His work has contributed to the spinout company Safe Intelligence, which raised £4.15 million in seed funding in 2025 to build software ensuring safety-critical AI systems perform reliably. Lomuscio delivered his inaugural lecture on trusting autonomous machines in 2013.