Jules Chouquet

Présentation

Contact

Recherche

Enseignement

CV

These

Autres




Situation

Je suis attaché temporaire d’enseignement et de recherce (ATER), en contrat avec l'université Paris-Diderot, dans laquelle je suis chargé d'enseignements à l’ufr d’informatique et à l’EIDD (école d’ingénieurs Denis Diderot) et où j’ai été en contrat doctoral entre 2016 et 2019 (thèse soutenue le 6 décembre 2019).

Mon activité de recherche se passe à l'Institut de Recherche en Informatique Fondamentale (IRIF).

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. Un résultat encourageant a été développé avec Lionel Vaux dans le cadre des réseaux.

Je m'intéresse également à la calculabilité asynchrone et aux algorithmes distribués probabilistes.