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.
Teaching
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.
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/
Responsabilties
See my teaching and research responsibilities.
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