## Presentation |
## Contact |
## Research |
## Teaching |
## CV |
## Phd |
## Other |

I am a research and teaching assistant, at Université de Paris between 2016 and 2019, in which I have the charge of teachings in computer science, and where I spent my Phd between 2016 and 2019 (defended december 6, 2019).

My research activity takes place at the "Institut de Recherche en Informatique Fondamentale" (IRIF).

My work concentrates on proof theory and programming languages semantics. I study in particular quantitative semantics tools as Taylor expansion in lambda calculus and linear logic proof-nets. An encouraging result has been developped with Lionel Vaux for proof nets.

I am also interested in asynchronous computability and to probabilistic distributed algorithms.