Registered user since Fri 3 Nov 2017
Researcher at the CNRS, member of the LSC team in the LIS laboratory, in Marseille.
I did my PhD thesis in the PPS laboratory in Paris (now IRIF), with 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. I spent 8 years as a CNRS researcher in the ENS Lyon in the LIP laboratory, and moved to Marseille in september 2021.
View general profile