About me

Welcome to my website! I'm Vadim Malvone, an italian researcher working in Theoretical Computer Science. Currently, I work at the University of Evry under the supervision of Francesco Belardinelli. I have been Ph.D. student in "Scienze Matematiche e Informatiche" at the University of Naples "Federico II", working under the supervision of Aniello Murano. In 2016 and 2017, under the Ph.D. program, I have been a visiting researcher at the Polish Academy of Sciences, working under the supervision of Wojtek Jamroga. In July 2014, I got the Master degree in Computer Science, working on a thesis titled "Graded modalities in strategic reasoning", developed under the supervision of Aniello Murano and Fabio Mogavero. In December 2010, I got the Bachelor degree in Computer Science, working on a thesis titled "Implementazione di un algoritmo di verifica formale per programmi gerarchici nel tool Yasm", developed under the supervision of Aniello Murano.