Alessio R. Lomuscio

Prof. Alessio R. Lomuscio

Professor in Logic for Multi-Agent Systems

Verification of Autonomous Systems Group

Research Interests:

My research concerns the logic-based specification and verification of autonomous systems.
In particular I am actively involved in the following topics:
  • Symbolic verification of multi-agent systems including abstraction techniques and parameterised model checking.
  • Application of verification methodologies to technology areas of societal importance including autonomous vehicles, security and anonimity protocols, web-services, and infinite-state data-driven systems.
  • Development and study of modal formalisms (including temporal, epistemic, and strategy logic) for the principled specification of multi-agent systems.