Prof. Alessio R. Lomuscio
Professor in Logic for Multi-Agent Systems
EPSRC Leadership Fellow
Research Interests:My research concerns the logic-based specification and verification of autonomous systems.
In particular I am actively involved in the following areas:
- Symbolic verification of multi-agent systems via model-checking, including abstraction techniques, parametric verification, BDD and SAT-based techniques.
- Application of verification methodologies to web-services (including infinite-state artifact-centric systems), autonomous vehicles and security protocols.
- Development and study of modal formalisms (including temporal, epistemic, doxastic, deontic logics and ATL) for the principled specification of multi-agent systems.