Registered user since Fri 3 Nov 2017
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.
|GaLoP 2019|| Chair in Program Committee within the GaLoP-track|
Full Abstraction for the Quantum Lambda-Calculus
|FOSSACS 2019||Resource-Tracking Concurrent Games|
|Show activities from other conferences|
View general profile