Me, presenting the termite poster

I'm a researcher 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.

Previous positions:



Programming activities

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