Alessio R. Lomuscio


Professor of Safe Artificial Intelligence
Royal Academy of Engineering Chair in Emerging Technologies
ACM Distinguished Member


I lead the Verification of Autonomous Systems Lab, where we develop methods and tools for the verification of AI systems so that they can be deployed safely and securely in applications of societal importance.

At present we are contributing to the following research areas:
  • Verification of neural systems and autonomous systems realised via machine-learning.
  • Explainability and Fairness in AI systems.
  • Parameterised verification of robotic swarms.
  • Logic-based verification of multi-agent systems.

We presently have openings for two PhD positions and two postdoc positions.


 
me