Valentin Blot

Since Jan. 2017, I am 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: v(dot)blot(at)qmul(dot)ac(dot)uk
me
Research
Publications
In journals
In conference proceedings
PhD thesis
Game semantics and realizability for classical logic (HAL)
Committee:
Internships
2011: ENS Lyon
My second master's internship was in the Plume team of the LIP at the ENS Lyon under Colin Riba's supervising. I worked on the representation of functions on infinite sequences in the Hyland-Ong-Nickau game semantics. Here is my report.
2009: Radboud Universiteit Nijmegen
My first master's internship was in the Software Science group of the Institute for Computing and Information Sciences at the Radboud University Nijmegen under Freek Wiedijk's supervising. I worked on the formalization of properties of algebraic numbers in Coq. Here is my report, and here are the Coq sources (with a "README" included).
2008: Université Lyon 1
My licence's internship was in the M2DisCo team of the LIRIS at the Université Claude Bernard under David Coeurjolly's supervising. I worked on the quasi-affine transformations on pictures. Here is my report.
Teaching
2013-2014
2012-2013
2011-2012
2010
Success at the competitive exam of agregation of mathematics with computer science option (rank 93).
Scientific outreach (in french)
Réalisation pratique
En mai 2013, j'ai travaillé pendant une semaine dans l'atelier Lyonnais de Pierre Gallais à la fabrication d'un atelier mathématique illustrant la non commutativité de certains groupes homotopiques, en passant par la résolution en pratique du problème suivant : comment accrocher un tableau à l'aide d'une corde et de deux clous, de telle manière que le retrait de n'importe lequel des deux clous fasse tomber le tableau. Voici une petite illustration de la solution, implémentée avec notre objet, et voici une extension dans le cas de trois clous. L'objet réalisé est maintenant utilisé dans le cadre de MathÀLyon : une équipe d'enseignants-chercheurs parcourant les collèges et lycées de la région lyonnaise afin de faire découvrir les mathématiques de manière ludique. J'ai moi-même participé à un atelier MathÀLyon au collège Marcel Aymé à Dagneux afin de présenter le nouvel objet.
Stage Hippocampe
Du 5 au 7 juin 2013 j'ai participé à l'encadrement d'un stage hippocampe dans le laboratoire d'informatique de l'ENS Lyon. Nous accueillions une classe de seconde du lycée Robert Doisneau de Vaux-en-Velin afin de les faire réfléchir sur le concept d'infini. J'étais en charge d'un groupe de sept élèves qui ont travaillé sur les concepts d'infinis dénombrable et indénombrable, avant de présenter le fruit de leur réflexion sous forme de posters aux chercheurs et enseignants-chercheurs des laboratoires de mathématiques et d'informatique de l'ENS Lyon. Un article sur le site de l'université Lyon 1, une photo de mon groupe, et une de leur poster.