Students


PhD students

Leo Stefanesco has started his PhD thesis « Concurrent separation logic and asynchronous game semantics » in September 2017.

Axel Osmond has started his PhD thesis « Algebraic effects, Stone duality and sheaf theory » in September 2017.

Chaitanya Leena Subramaniam has started his PhD thesis « Dependent types and higher dimensional algebra » in September 2017.

Pierre Cagne has started his PhD thesis « Generalised species, linear logic and enriched homotopy theory » in October 2015.

Clément Jacq has started his PhD thesis « Finitary game semantics and higher-order model-checking » in September 2014.

Charles Grellois defended his PhD thesis « Semantics of linear logic and higher-order model-checking » in April 2016. He is currently working as Maître de Conférences at Université Aix-Marseille.

Jonas Frey defended his PhD thesis « A fibrational study of realizability toposes » in June 2013. He is currently working as a postdoctoral student at Carnegie Mellon University.

Samuel Mimram defended his PhD thesis « Causality in asynchronous games and 2-dimensional rewriting » in December 2008. He is currently working as Researcher at LIX (Laboratoire d'Informatique de l'Ecole Polytechnique).

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.

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.