About me
Check my new website!
I am a postdoc at Università degli Studi di Napoli Federico II where I work in the Automated Strategic Reasoning (ASTREA) group led by Aniello Murano. I did my PhD in Computer Science at Université Toulouse 1 Capitole, under the supervision of Laurent Perrussel. I am interested in logics for multiagent systems (temporal, epistemic, dynamic, …), theory of computation, formal verification, synthesis, and game theory.
See my profile on DBLP, Google Scholar, and LinkedIn.