Rate My Professor Alessio Lomuscio

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.