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 Probabilistic Programming Semantics


Publications

Distributed Systems

Semantics

Nominal Logic

Invited Talks

Talks

Reports

HDR Thesis

PhD Thesis

Master Report