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: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 2022	Committee Member in Program Committee within the POPL-track
POPL 2020	Author of Full Abstraction for the Quantum Lambda-Calculus within the Research Papers-track
GaLoP 2019	Chair in Program Committee within the GaLoP-track Author of Full Abstraction for the Quantum Lambda-Calculus within the GaLoP-track
FOSSACS 2019	Author of Resource-Tracking Concurrent Games within the FOSSACS 2019-track
POPL 2019	Author of Game Semantics for Quantum Programming within the Research Papers-track
FSCD 2017	Author of Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or within the FSCD 2017-track
POPL 2018	Author of Linearity in Higher-Order Recursion Schemes within the Research Papers-track