Valentin BlotNew: I obtained a Marie Skłodowska-Curie fellowship for my project: "PolyBar: A new approach to polymorphism through bar recursion" (proposal, evaluation report)
Since Sep. 2017, I am 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