I am a post-doctoral fellow in Computer Science at Inria Saclay in the Parisfal team of Dale Miller. Before that, I was a post-doc at McGill University, Canada, working with Brigitte Pientka, and in 2013-2014 at Aarhus University, Denmark, supervised by Olivier Danvy. Between 2009 and 2012, I was a Ph.D student at PPS, Université Paris Diderot and Università di Bologna. I worked also as an A.T.E.R at Université Paris Diderot for two years. During my thesis, I worked in the fields of type and proof theory, namely on proof certificates, incremental type-checking and sequent calculus. I am particularily interested in:


You will find below some of my work:


During my A.T.E.R contract at Paris Diderot, I taught the following courses:

Here are the material for two lectures for COMP302 at McGill University in 2014:


I try to keep a public journal of my scientific activity, which takes the form of a blog, called Syntax!. You can find it here.


I initiated and contributed to various open-source projects. Most of the repositories can be found on my GitHub page. These include:


Mail: puech@lix.polytechnique.fr

Physical address: Inria Saclay
Campus de l'École Polytechnique
1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
91120 Palaiseau, France

Online: LinkedIn | Facebook | Twitter | Soundcloud | Youtube | Last.fm