About me
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.
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.
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.
Copyright © 2015 Vadim Malvone. All rights reserved.
Design by TEMPLATED.