Prof. Alessio R. Lomuscio
Professor in Logic for Multi-Agent Systems
EPSRC Leadership Fellow
Contact Details:
Department of ComputingImperial College London
180 Queen's Gate
London SW7 2AZ
Tel: +44 (20) 7594 8414
Fax: +44 (20) 7581 8932
Email: A.Lomuscio<>imperial.ac.uk
[PGP key]
Research Interests:
I am interested in logic and its applications in computer science and artificial intelligence.In particular I am actively involved in the following areas:
- Specification of Multi-Agent Systems and distributed systems.
- Automatic verification of Multi-Agent Systems and distributed systems via model-checking.
- Theory of modal logic, including epistemic, temporal and deontic logic.