About Me

I am a student in computer science in last year at École Normale Supérieure de Rennes, currently doing a research internship with Xavier Rival and Marc Pouzet at École Normale Supérieure on the subject “Abstract Interpretation-based Static Analysis of Data-Flow Languages”, and will start a Ph.D. on this subject in September 2024. Prior to that, I obtained a bachelor’s degree in computer science at ENS Rennes and Université de Rennes and a master’s degree in computer science in the Parisian Master of Research in Computer Science (MPRI) at Université Paris-Cité. I also had the chance of working with Xavier Rival, Francesco Ranzato at University of Padova and Patrick Cousot at New York University during previous internships.

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

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

Projects

Here is a list of some projects I have done:

• UHCFr, a large Minecraft server infrastructure
• ZRun, a synchronous languages static analyzer, written in OCaml
• A static analyzer for smoothness properties (like continuity, lipschitz continuity or differential continuity) of Python programs, written in OCaml
• to be completed…

Contact

You can contact me at the following address:

(λx.λy. "charles" . x . "de-haro" . y . "ens-rennes" . x . "fr") "." "@"