Prof. Alessio R. Lomuscio
Professor in Logic for Multi-Agent Systems
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.