Contact Details:
Department of Computing
Imperial 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.