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.
Current research projects
- Shannon meet Cray: From automaton to SIMD
- Ribbit: Custom memory representation
- Dowsing: Ecosystem-wide research directed by types
Internships
Don't hesitate to contact me for internships, even for old research projects. Some topics are available on the CASH webpage. See also my project proposals and the internship reports of my past students.
Teaching
See my teaching page.
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