This site is currently broken for new queries. It seems like some bot hit it and we ran out of exa credits.
Enter your personal website to find others like you. Powered by Exa's "find similar". Built on Val Town.
Previously, I worked as a postdoc with
overview of my education, have a look at my C.V. (in french).
Since January 2018, I am deputy director of the Fondation Sciences Mathématiques de Paris, so feel free to contact me if you have any question on th…
higher-order languages (functional, imperative, and concurrent). Here
Post-doctoral researcher in computer science, in the CLASH group at the University of Cambrige.
I am in the process of populating my new web page there.
A long-running project which I've been collaborating on seeks to develop a common mathematical language that unifies the disparate traditions of Hoar…
I am interested in operational and denotational semantics for functional programming languages.
Infos for students willing to do a PhD or internship (L3, M1 or M2) with me.