![Pierre Clairambault](https://popl20.sigplan.org/getProfileImage/pierreclairambault/f96e0ba7-07e9-41d1-94f5-774f892a6643/small.jpg?1711463877000)
Registered user since Fri 3 Nov 2017
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:CNRS & ENS Lyon
Personal website: http://perso.ens-lyon.fr/pierre.clairambault
Research interests:Semantics of programming languages, game semantics, program verification, proof theory, dependent types, categories, concurrency
Contributions
POPL 2020-profile
View general profile
View general profile