CINXE.COM
Gabriel Scherer
<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8" /> <title>Gabriel Scherer</title> <link rel="stylesheet" href="style.css" /> <link rel="canonical" href="https://irif.fr/~scherer/index.html" /> </head> <body> <h1>Gabriel Scherer</h1> <img src="Gabriel_Scherer.jpg" style="float:right; margin:1em;" alt="My picture" title="Photo by Jonathan Protzenko"/> <ul class="menu"> <li><a href="index.html">Index</a></li> <!-- <li><a href="themes.html">Research themes</a></li> --> <li><a href="publications.html">Publications</a></li> <li><a href="students.html">Students</a></li> <li><a href="service.html">Community service</a></li> <li><a href="teaching.html">Teaching</a></li> <li><a href="talks.html">Talks</a></li> <li><a href="open_access.html">Open Access</a></li> <li><a href="writings.html">Popularization</a></li> <li><a href="software.html">Software</a></li> </ul> <p>(Last website update: May 2024.)</p> <p> I do <a href="software.html">programming</a> and <a href="themes.html">research</a> about programming languages. I work as a permanent researcher in the <a href="https://www.irif.fr/en/equipes/picube/index">Picube</a> INRIA team which is part of <a href="http://www.irif.fr/">IRIF</a>, Universit茅 Paris Cit茅, Paris, France. </p> <p> I work on the <a href="https://en.wikipedia.org/wiki/OCaml">OCaml</a> programming language, with a broad interest in languages in the ML tradition (SML, <a href="http://haskell.org/haskellwiki/Haskell">Haskell</a>...). 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 studying these using mathematics, rather than the often subjective appeal to taste or intuition. </p> <p> I work as a permanent researcher at INRIA since September 2017. Up to 2023 I worked in the <a href="https://team.inria.fr/parsifal/">Partout</a> INRIA team at INRIA Saclay. </p> <p> In 2016 and spring-summer 2017, I was a post-doc at the <a href="http://prl.ccs.neu.edu/">Programming Research Laboratory</a> (see our shared <a href="http://prl.ccs.neu.edu/blog/">research blog</a>!) at Northeastern University, Boston, working with <a href="http://www.ccs.neu.edu/home/amal/">Amal Ahmed</a> on fully abstract compilation and multi-language semantics. </p> <p> Until 2015 I was a PhD student in the <a href="http://gallium.inria.fr/">Gallium</a> team (see our shared <a href="http://gallium.inria.fr/blog/">research blog</a>!) at <a href="http://www.inria.fr/">INRIA</a> Paris-Rocquencourt, France. My thesis advisor is <a href="http://gallium.inria.fr/~remy/">Didier R茅my</a>. </p> <p> See my <a href="cv.pdf">CV (PDF)</a> for full details. (Last CV update: July 2018.) </p> <h2 id="contact">Contact information</h2> <p> 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,<br/> <code>gabriel dot scherer at gmail</code>. </p> </body> </html>