Seiller Thomas
Je travaille actuellement à l'Institut mathématique de Luminy dans l'équipe Logique de la programmation. J'y prépare une thèse de mathématiques, intitulée Curry-Howard pour la concurrence : Géométrie de l'interaction et complexité sous la direction de Jean-Yves Girard et de Laurent Regnier. Je travaille principalement sur la géométrie de l'interaction, dans sa nouvelle version introduite par Jean-Yves Girard dans l'article Geometry of Interaction V : logic in the hyperfinite factor (disponible sur la page de Jean-Yves Girard).
Groupe de Travail
J'organise, depuis mon arrivée à l'IML, un groupe de travail la géométrie de l'interaction dans le facteur hyperfini. Le planning des réunions est disponible sur la page Groupe de travail.
Séances de Mathématiques
Nous organisons à l'IML des "Séances de Mathématiques" depuis Septembre 2010. Le planning des séances est disponible sur la page des Séances de Mathématiques.
Projet Doctorant
Je suis également co-organisateur d'un projet inter-écoles doctorales de logique et philosophie. Toutes les informations nécessaires se trouvent sur la page Projet Doctorant.