I'm a researcher at Inria in the Cambium research team. Currently, I'm working on redesigning the OCaml module and type systems.
I'm interested in designing better and nicer programming languages that allow programmers to write complex programs both easily and safely. For this purpose, I leverage static type systems, functional programming and rich module systems to provide users with powerful tools that can be combined with domain-specific approaches. 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.
Previously, I worked in the proglang team at the Computer Science Department of the University of Freiburg. I did my PhD thesis (see here for details) at IRIF in the Ocsigen project.
Contact
Email: gabriel.radanne@irif.fr
Programming activities
I program mostly in OCaml.
Github: https://github.com/Drup/
Blog: https://drup.github.io/