My research areas are at the boundary of Computer Science, Mathematics and Logics. I am interested in denotational semantics and its applications to distributed systems and functional probabilistic programming.

I am a participant of the french ANR JCJC RAPIDO -- Reasoning And Programming With Infinite Data Objects.


Distributed Systems

Quantitative semantics

Nominal Logic

Invited Talks



HDR Thesis

PhD Thesis

Master Report