— Roméo La Spina —
Doctorant en Informatique
Je suis doctorant dans l'équipe EPICURE de l'IRISA, à Rennes, depuis Septembre 2022. Je travaille sur l'analyse de flots de données et de dépendances pour la compilation optimisante vérifiée, sous la direction de Sandrine Blazy et Delphine Demange.
J'ai auparavant suivi le magistère Informatique de l'ENS Rennes, ainsi que le M2 MPRI (Master Parisien pour la Recherche en Informatique) à l'Université Paris Diderot.
Je m'intéresse tout particulièrement aux domaines suivants : vérification formelle, analyse statique, interprétation abstraite, compilation. J'ai notamment étudié le compilateur formellement vérifié CompCert dans plusieurs de mes travaux de recherche.
Je m'intéresse également au domaine de la cybersécurité. En particulier, j'aime beaucoup résoudre des challenges de type CTF (Capture The Flag). [Root-Me] [CTFtime] [Blog]
Vous trouverez mon CV ici (dernière mise à jour : Mars 2023).