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.

Personal pages: Twitter, Instagram, and Facebook.

Theme: Overlay by Kaira Extra Text
Cape Town, South Africa