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.


Publications

Distributed Systems

Quantitative semantics

Nominal Logic

Invited Talks

Talks

Reports

PhD Thesis

Master Report