Portrait
Vadim MalvoneMaître de conférences

Repères biographiquesShort Biography

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.


Activités : enseignement, recherche, projetsActivities : Teaching, Research, Projects

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.

Publications