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)
Je suis maître de conférences au département Informatique et Réseaux (INFRES) de Télécom Paris.
De novembre 2017 à juin 2020, j’ai été chercheur postdoctoral à l’Université d’Evry sous la supervision de Francesco Belardinelli. En février 2018, j’ai obtenu mon doctorat en informatique à l’Université de Naples « Federico II », avec une thèse intitulée « Strategic Reasoning in Game Theory », développée sous la supervision d’Aniello Murano. Pendant mon programme de doctorat, j’ai été chercheur invité à l’Académie polonaise des sciences, sous la supervision de Wojtek Jamroga. En juillet 2014, j’ai obtenu mon Master en informatique, avec une thèse intitulée « Graded modalities in strategic reasoning », développée sous la supervision d’Aniello Murano et Fabio Mogavero. En décembre 2010, j’ai obtenu ma licence en informatique, avec une thèse intitulée « Implementazione di un algoritmo di verifica formale per programmi gerarchici nel tool Yasm » (Implantation d’un algorithme de vérification formelle pour les programmes hiérarchiques dans l’outil Yasm), développée sous la supervision d’Aniello Murano.
Mes intérêts de recherche sont les suivants :
- Le raisonnement stratégique et les systèmes multi-agents ;
- Spécification et vérification formelles des systèmes ;
- Logiques temporelles et stratégiques ;
- Les jeux dans l’informatique théorique.