Seiller Thomas
I am currently working at the Institut mathématique de Luminy in Marseille (France), in the Logique de la programmation department. I am preparing a PhD in mathematics entitled Curry-Howard for concurrency : Geometry of interaction and complexity under the direction of Jean-Yves Girard and Laurent Regnier. I am mostly working on the new version of geometry of interaction, introduced by Jean-Yves Girard in his article Geometry of interaction : logic in the hyperfinite factor (available at Jean-Yves Girard's web page).
About this web page
On the Research page, you will find some documents, not all in english, mainly about geometry of interaction.
I also organize, since my arrival at the IML, a working group on geometry of interaction in the hyperfinite factor. The reunions' schedule is available on the Working Group page.