I do programming and research into programming languages.
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.
Since 2016, I am 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.
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.