Jules Chouquet

Présentation

Contact

Recherche

Enseignement

CV


Situation

Je suis doctorant, en contrat avec l'université Paris-Diderot entre 2016 et 2019, dans laquelle je suis chargé d'enseignements en informatique.

Mon activité de recherche se passe à l'Institut de Recherche en Informatique Fondamentale (IRIF), où je travaille sous la direction de Christine Tasson.

Je travaille également avec Lionel Vaux, avec qui j'ai passé à Marseille la première année de ma thèse.

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.

Depuis peu, je m'intéresse également à la calculabilité asynchrone et aux algorithmes distribués probabilistes.

Activité et mobilité

Je participe régulièrement aux événements organisés par le Groupe de recherche international de Logique Linéaire, ainsi qu'aux rencontres mensuelles ChoCoLa organisées à l'ENS Lyon. J'ai eu l'occasion de présenter mes travaux dans ces deux rencontres, ainsi qu'à l'atelier TLLA à Oxford en 2017, et à la conférence CSL à Birmingham en 2018.