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.
| Nom | @ | Téléphone | Bureau | Fonction | Pôle | Équipe |
|---|---|---|---|---|---|---|
| Abbes Samy | @ | 01 57 27 92 37 | 3046 | Maître.sse de conférences | PPS | algebre |
| Behr Nicolas | @ | 01 57 27 90 85 | 3030 | Chargé.e de recherche - CNRS | PPS | algebre , preuves |
| Bucciarelli Antonio | @ | 01 57 27 94 33 | 3045 | Maître.sse de conférences | PPS | algebre , preuves |
| Curien Pierre-Louis | @ | 01 57 27 92 23 | 3013 | Directeur.rice de recherche émérite - CNRS | PPS | picube , algebre , preuves |
| Douteau Sylvain | @ | 3030 | Maître.sse de conférences | PPS | algebre , preuves | |
| Ehrhard Thomas | @ | 01 57 27 92 17 | 4014a | Directeur.rice de recherche - CNRS | PPS | algebre , programmes , preuves , picube |
| Faggian Claudia | @ | 01 57 27 90 86 | 3032 | Chargé.e de recherche - CNRS | PPS | algebre , preuves |
| Gaucher Philippe | @ | 01 57 27 92 55 | 3049 | Chargé.e de recherche - CNRS | PPS | algebre |
| Geoffroy Guillaume | @ | 01 57 27 94 15 | 3019 | Maître.sse de conférences | PPS | algebre , preuves |
| Guatto Adrien | @ | 01 57 27 94 15 | 3019 | Maître.sse de conférences | PPS | algebre , programmes , preuves |
| Herbelin Hugo | @ | 01 57 27 90 87 | 3029 | Directeur.rice de recherche - INRIA | PPS | algebre , picube , preuves , programmes |
| Kesner Delia | @ | 01 57 27 92 38 | 3020 | Professeur.e | PPS | algebre , preuves |
| Krivine Jean-Louis | @ | 01 57 27 92 39 | 3008 | Professeur.e émérite | PPS | algebre , preuves |
| Krivine Jean | @ | 4027 | Chargé.e de recherche - CNRS | PPS | algebre , programmes | |
| Ledent Jeremy | @ | 01 57 27 92 58 | 3022 | Maître.sse de conférences | PPS , ASD | algebre , distribue |
| Manzonetto Giulio | @ | 01 57 27 93 54 | 4015 | Professeur.e | PPS | algebre , preuves |
| Melliès Paul-André | @ | 01 57 27 92 48 | 3023 | Directeur.rice de recherche - CNRS | ASV , PPS | automates , algebre , preuves , picube |
| Métayer François | @ | 01 57 27 94 29 | 3012 | Maître.sse de conférences émérite - Université Paris Nanterre | PPS | algebre |
| Petrisan Daniela | @ | 01 57 27 94 00 | 4016 | Maître.sse de conférences | ASV , PPS | automates , algebre , picube |
| Picantin Matthieu | @ | 01 57 27 94 49 | 4043 | Maître.sse de conférences | PPS , ASV | algebre , automates |
| Ruet Paul | @ | 01 57 27 92 48 | 3023 | Chargé.e de recherche - CNRS | PPS | algebre , programmes |
| Saurin Alexis | @ | 01 57 27 93 37 | 3040 | Chargé.e de recherche - CNRS | PPS | algebre , programmes , preuves , picube |
| Scherer Gabriel | @ | 4032 | Chargé.e de recherche - INRIA | PPS | algebre , programmes , preuves , picube | |
| van Gool Sam | @ | 01 57 27 94 05 | 4011 | Maître.sse de conférences | ASV , PPS | automates , algebre |