Raphaël Monat
Description: Francesco Parolini's academic homepage
security (9601) academic (973) formal methods (45) abstract interpretation (5) lip6 (2) sorbonne university (2) francesco parolini (1) automated formal methods (1)
I am a PhD student in Computer Science at the Sorbonne University (Paris) under the supervision of Professor Antoine Miné , within the ERC MOPSA project . From October 2022 to March 2023 I have been an applied scientist intern working in the Amazon Prime Video Automated Reasoning group . Previously, I obtained a BSc and an MSc in Computer Science at University of Padua (Italy). For my Master's Thesis I worked on the language inclusion problem for ω-regular languages.
My research interests include security and automated formal methods, in particular by abstract interpretation .
Raphaël Monat