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.
I write lot's of OCaml, all of which is open source software.