"Maitre de de conférences" at LIPN

Office: A209
LIPN, UMR CNRS 7030 Institut Galilée - Université Paris 13 99, avenue Jean-Baptiste Clément 93430 Villetaneuse


I did an Inria-postoc at Bologna with Ugo Dal Lago as a member of FoCUS Research Team.

I was a PhD student in laboratory PPS of University Paris Diderot (Paris 7)
My supervisors were Antonio Bucciarelli and Michele Pagani.

I am interested in concrete denotational semantics for lambda-calculi and their interactions. More precisely I am working on:

By transitivity I am also interested in many related domains: logic, algebra, proof theory, computability theory, complexity theory, language design, circuit design, cryptography protocols (differential privacy)...