Jules Chouquet

Presentation

Contact

Research

Teaching

CV

Phd

Other




Situation

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

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. An encouraging result has been developped with Lionel Vaux for proof nets.

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