Alessio R. Lomuscio

Prof. Alessio R. Lomuscio

Professor in Logic for Multi-Agent Systems

Verification of Autonomous Systems Group

Research Interests:

I am interested in safe and predictable Artificial Intelligence.

To this end my research concerns the 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:
  • Symbolic verification of multi-agent systems via  abstraction techniques and parameterised model checking.

  • Parameterised verification of robotic swarms.

  • Verification of learning-enabled systems based on neural networks.

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