Équipe thématique


Responsable


Thèmes de recherche

Une bonne compréhension des mécanismes de calcul exige le développement d'outils mathématiques toujours plus sophistiqués, et apporte de nouvelles idées mathématiques. Cela se manifeste notamment dans la construction de modèles abstraits des programmes probabilistes et quantiques, et dans l'utilisation de structures géométriques et topologiques pour représenter des situations de calculs distribués ou concurrents. On fait aussi appel à des notions générales de monades, d'opérades et d'espèces de structures pour représenter des structures de données ou des mécanismes de calcul (comme certains effets faisant appel à des états internes ou à de la mémoire modifiable), et aux catégories de dimension supérieure pour modéliser la théorie des types dans un cadre homotopique. Enfin, l'étude de la réécriture est un objectif majeur de cette équipe thématique, notamment pour ses applications à l'algèbre et aux catégories, mais aussi aux différents types de lambda-calcul, à l'étude des systèmes concurrents et des langages probabilistes, dont elle permet de décrire naturellement la sémantique opérationnelle.


Annuaire

NomTéléphoneBureauFonctionMail
Abbes Samy 01 57 27 92 37 3046 Maître.sse de conférence Mail
Barenbaum Pablo 01 57 27 92 92 3026 Doctorant.e Mail
Batmalle Hadrien 01 57 27 92 43 3033 Doctorant.e Mail
Behr Nicolas 4029a Post-Doctorant.e Mail
Bucciarelli Antonio 01 57 27 94 33 3045 Maître.sse de conférence Mail
Burroni Albert Membre associé.e Mail
Cagne Pierre 01 57 27 92 92 3026 Doctorant.e avec mission d'enseignement Mail
Claret Guillaume 01 57 27 92 28 3034 Doctorant.e Mail
Crubillé Raphaëlle 01 57 27 92 43 3033 Doctorant.e Mail
Curien Pierre-Louis 01 57 27 92 23 3013 Directeur.rice de recherche - CNRS Mail
Dehornoy Patrick 01 57 27 92 55 3049 Membre associé.e Mail
Delcroix-Oger Berenice 01 57 27 92 45 3041 Maître.sse de conférence Mail
Ehrhard Thomas 01 57 27 92 17 4014a Directeur.rice de recherche - CNRS Mail
Favro Giordano 01 57 27 90 86 3032 Doctorant.e Mail
Finster Eric Post-Doctorant.e Mail
Forest Simon Doctorant.e Mail
Frégier Yaël Membre associé.e Mail
Galal Zeinab Doctorant.e Mail
Galal Zeinab Doctorant.e Mail
Gaucher Philippe 01 57 27 92 16 3048 Chargé.e de recherche - CNRS Mail
Guetta Leonard 01 57 27 90 86 3032 Doctorant.e Mail
Guiraud Yves 01 57 27 94 29 3012 Chargé.e de recherche - INRIA Mail
Herbelin Hugo 01 57 27 90 87 3029 Directeur.rice de recherche - INRIA Mail
Ho-Thanh Cedric 3032 Doctorant.e avec mission d'enseignement Mail
Jaber Guilhem 01 57 27 94 30 3018 Post-Doctorant.e Mail
Jacq Clément 01 57 27 92 92 3026 Doctorant.e avec mission d'enseignement Mail
Kerjean Marie 01 57 27 94 16 3044 Doctorant.e avec mission d'enseignement Mail
Kesner Delia 01 57 27 92 38 3025 Professeur.e Mail
Krivine Jean-Louis 01 57 27 92 39 3008 Professeur.e émérite Mail
Leena-Subramaniam Chaitanya 3034 Doctorant.e Mail
Leivant Daniel Membre associé.e Mail
Lucas Maxime 01 57 27 90 86 3032 Doctorant.e Mail
Malbos Philippe Membre associé.e Mail
Mangin Cyprien 01 57 27 92 28 3034 Doctorant.e Mail
Melliès Paul-Andre 01 57 27 92 48 3023 Chargé.e de recherche - CNRS Mail
Métayer François 01 57 27 94 29 3012 Maître.sse de conférence Mail
Mimram Samuel Membre associé.e Mail
Miquey Étienne 01 57 27 92 22 3035 Doctorant.e Mail
Nollet Remi 3026 Doctorant.e Mail
Osmond Axel 4060 Doctorant.e Mail
Pagani Michele 01 57 27 92 56 4015 Professeur.e Mail
Picantin Matthieu 01 57 27 94 49 4043 Maître.sse de conférence Mail
Ruet Paul 01 57 27 92 48 3023 Chargé.e de recherche - CNRS Mail
Saurin Alexis 01 57 27 93 37 3040 Chargé.e de recherche - CNRS Mail
Sozeau Matthieu 01 57 27 94 15 3019 Chargé.e de recherche - INRIA Mail
Stefanesco Leo 3026 Doctorant.e Mail
Tasson Christine 01 57 27 93 37 3040 Maître.sse de conférence Mail
Valiron Benoit 3018 Membre associé.e Mail
Vial Pierre 01 57 27 92 92 3026 Doctorant.e Mail