Me, presenting the termite poster

I'm a junior researcher (ISFP) at Inria in the CASH research team.

I design programming languages that are safe, easy to use, and adapted to specific domains. Among other things, I worked on languages for web programming, operating systems and low-level programming. I'm particularly interested in static type systems, functional programming, rich module systems and meta-programming. My work attempts to marry both the theoretical aspects of type-systems and semantics of programming languages and practical consideration, usually leading to an implementation. See my publications, CV and research statement for details.


See my teaching page and my past and current students.

For internship subject, see my project proposals and the internship reports of my past students.



Programming activities

I write lot's of OCaml, all of which is open source software.




See my teaching and research responsibilities.

Previous positions