PeopleofSuperintelligence

Researcher

Alessio R. Lomuscio

Also known as Alessio Lomuscio

Alessio Lomuscio is a professor of safe artificial intelligence at Imperial College London, where he develops scalable verification methods and formal guarantees for machine learning models. His doctorate at the University of Birmingham, submitted in 1999, examined knowledge sharing among ideal agents. He co-authored H²V, a NeurIPS 2025 paper on validating geometric robustness in large image and video models. The Royal Academy of Engineering gave him a chair in emerging technologies in 2018, and the ACM named him a Distinguished Member in 2020. In 2025 he serves as chief technology officer of Safe Intelligence, an Imperial spinout that he launched in 2021.

Photo of Alessio R. Lomuscio

Timeline

  1. 1999

    A PhD on ideal agents

    He submits a PhD on knowledge sharing among ideal agents at the University of Birmingham in 1999.

  2. 2006

    Joining Imperial College London

    He joins Imperial College London in 2006, after lecturer and senior lecturer posts at King's College London and University College London.

  3. 2018

    A Royal Academy chair

    He receives a Royal Academy of Engineering Chair in Emerging Technologies in 2018, one of ten awarded, for work on safe and trustworthy AI.

  4. 2020

    ACM Distinguished Member

    He is named a Distinguished Member of the Association for Computing Machinery in 2020, for his scientific contributions to computing.

  5. 2021

    Launching Safe Intelligence

    He launches Safe Intelligence in 2021 as an Imperial spinout, and its technology builds on decades of his research.

  6. 2025

    Chief technology officer at Safe Intelligence

    In 2025 he is chief technology officer of Safe Intelligence, with Steven Willmott as chief executive.

  7. 2025

    H²V at NeurIPS

    He co-authors H²V, a NeurIPS 2025 paper on validating geometric robustness in large image and video models.

  8. As of October 2026

    Safe AI professor at Imperial

    He is Professor of Safe Artificial Intelligence in the Department of Computing at Imperial College London, where he develops scalable verification methods and formal guarantees for machine learning models.

Sources and credits

Photo: doc.ic.ac.uk; Alessio Lomuscio; creator not stated. License: Not stated by source. Source: doc.ic.ac.uk. Cropped to a square and resized. Ask us to remove or replace this photo.

  1. Alessio Lomuscio - Wikipedia en.wikipedia.org. Checked 14 October 2026.
  2. Professor Alessio Lomuscio raeng.org.uk. Checked 14 October 2026.
  3. Safe Intelligence raises £4m to build safe and reliable AI | Imperial News | Imperial College London imperial.ac.uk. Checked 14 October 2026.
  4. Alessio Lomuscio doc.ic.ac.uk. Checked 14 October 2026.
  5. Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation | Alessio Lomuscio doc.ic.ac.uk. Checked 14 October 2026.
  6. Alessio Lomuscio | About | Imperial College London profiles.imperial.ac.uk. Checked 14 October 2026.