Jules Chouquet

Presentation

Contact

Research

Teaching

CV

Other



Mastodon logo orcid
		 logo hal
		 logo hal
		 logo



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 and reactive programming.

News and projects

Theoretical Computer Scientists for Future