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)

Noam Zeilberger is supported by a postdoctoral fellowship of the Fondation Science Mathématique de Paris Centre.

Postdoctoral fellows (past)

Sam Staton has been supported by a postdoctoral fellowship of the ANR Choco from May 2010 to January 2011.

Chung-Kil Hur has been supported by a postdoctoral fellowship of the Collodi Project from October 2009 to October 2010.

Mark Weber has been supported by a postdoctoral fellowship of the CNRS from September 2007 to September 2009.

Ignacio Lopez Franco has been supported by a postdoctoral fellowship of the Fondation Science Mathématique de Paris Centre from September 2008 to September 2009.