"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:

- Models of pure lambda-calculus: used for studying the lattice of lambda-theories, in particular its interactions with computability theory.

- Quantitative semantics: building parametrised concrete semantics either to extract quantitative information or to model resource sensitive calculi.

- Probabilistic (higher order) Rewriting: Understanding probabilistic reduction and termination.

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)...