This webpage is no longer maintained since september 2020. The new one is here
Jules Chouquet

Presentation

Contact

Research

Teaching

CV

Other




Situation

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).

Research areas

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.

Theoretical Computer Scientists for Future