Valentin BlotSince March 2019, I am an INRIA permanent researcher (chargé de recherche) in the deducteam of the Laboratoire Spécification et Vérification (LSV) at the École Normale Supérieure Paris-Saclay.
From June 2018 to February 2019, I was a Marie Skłodowska-Curie fellow in the Institut de Recherche en Informatique Fondamentale (IRIF) at the Université Paris-Diderot, working with Hugo Herbelin on my research project "PolyBar: A new approach to polymorphism through bar recursion" (proposal, evaluation report).
This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 799557
From Sep. 2017 to May 2018, I was a postdoctoral researcher in the Vals team of the Laboratoire de Recherche en Informatique (LRI) at the Université Paris-Sud, 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 Laboratoire de l'Informatique du Parallélisme (LIP) at the École Normale Supérieure de Lyon under Colin Riba's supervising.
From Sept. 2007 to Aug. 2011 I was a student in the computer science department of the École Normale Supérieure de Lyon.
Contact me: contact(at)valentinblot(dot)org