Students


PhD students

Vincent Moreau has started his PhD thesis in September 2021, working on the connections between higher-order automata and topological duality.

Clément Théron has started his PhD thesis in September 2021, working on interactive and vectorial semantics of linear logic.

El Mehdi Cherradi has started his PhD thesis « Computational and interactive interpretation of homotopy type theory » in September 2020.

Leo Stefanesco has defended his PhD thesis « Asynchronous and relational correctness theorems for concurrent separation logic » in November 2021.

Axel Osmond has defended his PhD thesis « A categorical study of spectral duality » in December 2021.

Chaitanya Leena Subramaniam has defended his PhD thesis « From dependent type theory to higher algebraic structures » in September 2021.

Pierre Cagne has defended his PhD thesis « Towards a homotopical algebra of dependent types » in December 2018.

Clément Jacq defended his PhD thesis « Categorical combinatorics for non deterministic innocent strategies » in December 2019.

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 has been 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.