Alessio Lomuscio is a professor of Safe Artificial Intelligence at the Department of Computing at Imperial College London. His research focuses on the verification of autonomous systems, specifically on providing formal safety guarantees for both Multi-agent systems as well as Machine Learning-enabled systems.