About me

Dr. Vadim Malvone is an expert in multi-agent system verification with over ten years of research experience. He earned his Ph.D. in 2018 from the University of Naples, Federico II, with a focus on strategic reasoning in game theory. After completing a postdoctoral position at the University of Evry (2018–2020), he became an associate professor at Télécom Paris in 2020. In 2024, he obtained the HDR (Habilitation à Diriger des Recherches) in Computer Science, Data Science, and Artificial Intelligence. Dr. Malvone has co-authored over 80 publications in formal verification and game theory. He actively mentors postdoctoral, doctoral, and master’s students, leading projects on formal verification, strategic reasoning, and cybersecurity.

His research interests include:
  • Strategic reasoning and multi-agent systems
  • Formal modelling, specification, and verification of systems
  • Temporal and strategic logics
  • Games in theoretical computer science