Pierre Clairambault

Registered user since Fri 3 Nov 2017

Name:Pierre Clairambault

Researcher at the CNRS, member of the LSC team in the LIS laboratory, in Marseille.

I did my PhD thesis in the PPS laboratory in Paris (now IRIF), with Russ Harmer and Pierre-Louis Curien. After that, I did a postdoc in the Department of Computer Science of the University of Bath with Jim Laird, then a postdoc in the Computer Laboratory of the University of Cambridge, with Glynn Winskel. I spent 8 years as a CNRS researcher in the ENS Lyon in the LIP laboratory, and moved to Marseille in september 2021.

Affiliation:CNRS & LIS, Aix-Marseille Université
Research interests:Semantics of programming languages, game semantics, program verification, proof theory, dependent types, categories, concurrency