Name:Pierre Clairambault

Bio:

Researcher at the CNRS, member of the Plume team in the LIP laboratory, in the ENS de Lyon, France.

I did my PhD thesis in the PPS laboratory in Paris (now IRIF), under the supervision of 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.

Country:France

Affiliation:Université Aix-Marseille; Université de Toulon; CNRS; LIS

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