Speaker: Vadim Malvone (Télécom Paris, France)

Abstract: Game theory in AI provides a powerful mathematical framework that has been widely applied over the past three decades for strategic reasoning in multi-agent systems. Early work in this area began with turn-based, two-player games (under both perfect and imperfect information). Since then, significant efforts have extended these approaches to multi-agent settings, particularly for efficiently analyzing solution concepts like Nash Equilibria. A key application of game theory in AI is formal system verification, where it serves as an invaluable tool for verifying reactive and embedded systems. Major breakthroughs include the development of strategic reasoning logics, such as Alternating-time Temporal Logic (ATL) and Strategy Logic (SL), along with their extensions. In this talk, we will present the main elements of this research area and highlight some of our contributions. 
 

Bio: 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 60 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.