Tél.
Site web personnelPersonal Web Site
Équipe de recherche :Research Team:
Systèmes embarqués critiques autonomes (ACES)Autonomous Critical Embedded Systems (ACES)
Laboratoire :Laboratory:
Laboratoire Traitement et Communication de l'Information (LTCI)Information Processing and Communication Laboratory (LTCI)
Département :Department:
Informatique et Réseaux (Infres)Computer Sciences and Networks (Infres)
I am an Associate Professor in the Computer Science and Networks department (INFRES) of Télécom Paris. From November 2017 to June 2020, I was a postdoctoral researcher at the University of Evry under the supervision of Francesco Belardinelli. In February 2018, I obtained my Ph.D. in Computer Science at the University of Naples « Federico II », with a thesis titled « Strategic Reasoning in Game Theory », developed under the supervision of Aniello Murano. During my Ph.D. program, I was a visiting researcher at the Polish Academy of Sciences, under the supervision of Wojtek Jamroga. In July 2014, I obtained my Master’s degree in Computer Science, with a thesis titled « Graded modalities in strategic reasoning », developed under the supervision of Aniello Murano and Fabio Mogavero. In December 2010, I obtained my Bachelor’s degree in Computer Science, with a thesis titled « Implementazione di un algoritmo di verifica formale per programmi gerarchici nel tool Yasm » (Implementation of a formal verification algorithm for hierarchical programs in the Yasm tool), developed under the supervision of Aniello Murano.
My research interests include:
- Strategic reasoning and multi-agent systems;
- Formal specification and verification of systems;
- Temporal and strategic logics;
- Games in theoretical computer science.