![Alessio Lomuscio](/newimages/stai/professor-alessio-r-lomuscio.xa8399b08.jpg?w=160&h=160&f=webp)
Professor Alessio Lomuscio
Deputy Directory UKRI Centre for Doctoral Training (CDT) in Safe and Trusted Artificial Intelligence (STAI)
- Royal Academy of Engineering Chair in Emerging Technologies - Imperial College London
Research interests
- Computer science
Contact details
Biography
I am interested in safe Artificial Intelligence. To this end in our group we develop methods for the formal verification of autonomous systems and multi-agent agents so that they can be deployed in applications of societal importance. At present I am actively involved in the following topics:
- Verification of autonomous systems synthesised via machine learning.
- Parameterised verification of robotic swarms.
- Symbolic verification of multi-agent systems via abstraction techniques and parameterised model checking.