Alessio R. Lomuscio

Research Interests:

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.

We have openings for two positions at PhD and postdoctoral level.