I have moved to the University of Naples “Federico II”.
I work in formal methods, a branch of theoretical computer science, and study the power of automata theory (broadly construed) and mathematical logic for modeling and analysing systems, structures, and interactions.
My main areas are:
- Formal methods (Modeling, Verification, Synthesis) of Parameterised Systems, Proba-
bilistic Systems, Distributed Systems, Timed Systems, and Multi-Agent Systems,
- Logics for Games and Strategic Reasoning,
- Planning in AI,
- Automata Theory,
- Finite and Algorithmic Model Theory (including Automatic Structures).