— Roméo La Spina —

PhD Student in Computer Science

Who am I?

I am a French PhD student in the EPICURE team at IRISA, Rennes, since September 2022. I am working on data-flow and dependency analysis for optimizing verified compilation, under the supervision of Sandrine Blazy and Delphine Demange.

Before, I followed the magistère Informatique of the ENS Rennes, as well as the M2 MPRI (Master Parisien pour la Recherche en Informatique, second year of Master's degree) at the University Paris Diderot.

I'm particularly interested in the following domains: formal verification of software, static analysis, abstract interpretation, compilation and security. In my research work, I worked many times with the formally verified compiler CompCert.
I'm also interested in cybersecurity. In particular, I enjoy solving CTF (Capture The Flag) challenges. [Root-Me] [CTFtime] [Blog]

You can find my resume here (last update: March 2023).

How to contact me?

• Email: romeo[dot]la-spina[at]inria.fr
• Phone: +33 6 43 [thirty-four] 97 88
• Office: F214, EPICURE team, IRISA, Rennes (France)