ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Pierre Clairambault

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:

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


GaLoP 2019Chair in Program Committee within the GaLoP-track
Author of Full Abstraction for the Quantum Lambda-Calculus within the GaLoP-track
FOSSACS 2019Author of Resource-Tracking Concurrent Games within the FOSSACS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile