Students
PhD students
Nicolas Tabareau
defended his PhD thesis « Resource modalities in tensor logic »
in December 2008.
He is currently working as Researcher at INRIA,
Département d'Informatique de l'Ecole des Mines de Nantes.
Samuel Mimram
defended his PhD thesis « Causality in asynchronous games and 2-dimensional rewriting »
in December 2008.
He is currently working as Researcher in Computer Science at the CEA
(Commissariat à l'Energie Atomique).
Jonas Frey
started his PhD thesis « Linear duality and dependent types »
in September 2008.
Postdoctoral fellows (current)
Postdoctoral fellows (past)
Sam Staton
has been supported by a postdoctoral fellowship of the
ANR Choco
from May 2010 to January 2011.
Mark Weber
has been supported by a postdoctoral fellowship of the
CNRS
from September 2007 to September 2009.