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:
- PhD thesis (see here for details) at IRIF in the Ocsigen project
- The proglang team at the Computer Science Department of the University of Freiburg
- The Cambium Inria research team
Contact
Email: gabriel.radanne@inria.fr
Programming activities
I write lot's of OCaml, all of which is open source software.
Github: https://github.com/Drup/
Blog: https://drup.github.io/