Gabriel Radanne is a postdoc at the Freiburg University, Germany. His goal is to improve the usability and safety of programming languages by leverating type systems, module systems and functional programming. He also work on the design and implementation of special purpose type systems for various use cases, such as tierless Web programming in the context of his PhD Thesis.