About me

Welcome to my website! I'm Vadim Malvone, an italian PhD student in Computer Science from the University of Naples "Federico II", strongly interested in Theoretical Computer Science. In July 2014, I got the Master degree in Computer Science, working on a thesis in Computability and Complexity titled "Graded modalities in strategic reasoning", developed under the supervision of Prof. Dr. Aniello Murano and Dr. Fabio Mogavero. In December 2010, I received the Bachelor of Science degree, discussing a thesis on Model checking titled "Implementazione di un algoritmo di verifica formale per programmi gerarchici nel tool Yasm", developed under the supervision of Prof. Dr. Aniello Murano.