Skip to main content
KBS_Icon_questionmark link-ico
King’s People
Professor Alessio Lomuscio
Professor Alessio R. Lomuscio

Professor Alessio Lomuscio

  • Visiting

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 subject areas

  • 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.