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.