Valentin BlotStarting in March 2019, I will be an Inria researcher in the deducteam of the Laboratoire Spécification et Vérification at the école normale supérieure Paris-Saclay.
From June 2018 to February 2019, I am a Marie Skłodowska-Curie fellow in the Institut de Recherche en Informatique Fondamentale at the Paris-Diderot university, working with Hugo Herbelin on my research project "PolyBar: A new approach to polymorphism through bar recursion" (proposal, evaluation report).
From Sep. 2017 to May 2018, I was a postdoctoral researcher in the Vals team of the Laboratoire de Recherche en Informatique at the Paris-sud university, working with Chantal Keller and Stéphane Graham-Lengrand.
From Jan. 2017 to June 2017, I was a postdoctoral researcher in the Theory group of the School of Electronic Engineering and Computer Science at the Queen Mary University of London, working with Nikos Tzevelekos.
From Sept. 2014 to Dec. 2016 I was a postdoctoral researcher in the Mathematical foundations group of the computer science department at the university of Bath, working with Jim Laird.
From Sept. 2011 to Aug. 2014 I was a PhD student in the Plume team of the LIP at the ENS Lyon under Colin Riba's supervising.
From Sept. 2007 to Aug. 2011 I was a student in the computer science department of the ENS Lyon.
Contact me: contact(at)valentinblot(dot)org