Name:Pierre Clairambault

Bio:

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.

Country:France

Affiliation:CNRS & LIS, Aix-Marseille Université

Research interests:Semantics of programming languages, game semantics, program verification, proof theory, dependent types, categories, concurrency