I do programming and research about programming languages.
Since September 2017, I am a permanent researcher. I work in the Parsifal team at INRIA Saclay, France.
In 2016 and spring-summer 2017, I was a post-doc at the Programming Research Laboratory (see our shared research blog!) at Northeastern University, Boston, working with Amal Ahmed on fully abstract compilation and multi-language semantics.
Until 2015 I was a PhD student in the Gallium team (see our shared research blog!) at INRIA Paris-Rocquencourt, France. My thesis advisor is Didier Rémy.
See my CV (PDF) for full details.
My main interest is programming languages. I'm familiar with statically typed functional programming languages such as OCaml, or more generally of ML tradition (SML, Haskell...). I'm interested in theoretical aspects of type systems, programming language implementation, general programming language concepts, and even some syntactic aspects. I have a preference for the formalizable aspects, or formalizable approaches to programming language aspects, rather than the often subjective appeal to taste or intuition.
Outside the personal sphere, I communicate by e-mail -- and
interleaved forum, mailing-list or blog posts. Please feel free to
send me an email; I mostly use my Gmail adress,
gabriel dot scherer at gmail
.