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

I am an assisitant professor, at Université d’Orléans, in which I have the charge of teachings in computer science.

My research activity takes place at the "Laboratoire d’Informatique Fondamentale d’Orléans" (LIFO).

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.

I am also interested in asynchronous computability, in probabilistic distributed algorithms, and in formal semantics for parallelism and reactive programming.