Attention, cette page n’est plus mise à jour depuis septembre 2020. Ma nouvelle page se trouve ici
Jules Chouquet

Présentation

Contact

Recherche

Enseignement

CV

Autres




Situation

Je suis maître de conférences à l’Université d’Orléans, où je suis chargé d'enseignements dans le département d’informatique.

Mon activité de recherche se passe au Laboratoire d’Informatique Fondamentale d’Orléans (LIFO).

Thèmes de recherche

Mon travail se concentre sur la théorie de la démonstration et la sémantique des langages de programmation. J'étudie en particulier des outils de sémantique quantitative tels que le développement de Taylor, dans le lambda calcul et dans les réseaux de démonstration de la logique linéaire.

Je m'intéresse également à la calculabilité asynchrone et aux algorithmes distribués probabilistes, et plus généralement aux sémantiques pour le parallélisme.

Theoretical Computer Scientists for Future