- Logic-based languages for Artificial Intelligence
- Modal logics and their first-order extensions
- the specification and verification of Multi-agent Systems
- Formal Methods for Computer Science
As a Marie Curie fellow at the Imperial
College I developed
the FoMMAS
Project in collaboration with
with Prof Alessio
Lomuscio. The main aims of the FoMMAS project consisted in applying
first-order temporal and epistemic logics as specification and
verification languages for multi-agent systems, as well as studying
the theoretical properties of these formalisms (completeness,
decidability, complexity).
As a Research Associate on the ACSI project I am working on
abstraction-based techniques for model checking data-aware services.
