Portrait
Vadim MalvoneAssociate Professor

Repères biographiquesShort Biography

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.


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

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.

Publications