About Me

I am a first-year Ph.D. student at École Normale Supérieure (ENS) in the teams ANTIQUE and PARKAS under the supervision of Xavier Rival and Marc Pouzet. My research subject is “Abstract Interpretation-based Static Analysis of Data-Flow Languages”.

Before that, I was a student in computer science at École Normale Supérieure de Rennes (ENS Rennes). I hold a bachelor’s degree in computer science from ENS Rennes and Université de Rennes and a master’s degree in computer science in the Parisian Master of Research in Computer Science (MPRI) from Université Paris-Cité. During this curriculum, I did five different research internships all related to abstract interpretation, with Xavier Rival and Marc Pouzet, both at ENS, Francesco Ranzato at University of Padova and Patrick Cousot at New York University.

I am broadly interested in abstract interpretation, semantics, static analysis and programming languages.

You can also take a look at my curriculum vitae here !

Contact

You can contact me at the following address:

(λx.λy. "deharo" . y . "di" . x . "ens" . x . "fr") "." "@"

Feel free to send me an email, I will always be happy to discuss with you and contribute to projects !