Thematic team



Research themes

A deep understanding of computation requires the development of sophisticated mathematical tools, while bringing new ideas to mathematics. This includes the construction of abstract models of probabilistic and quantum programs, and the use of geometric and topological structures to describe concurrent or distributed computation. We also use and study the general notions of monads, operads, and species of structures to represent data structures and computational mechanisms (like effects using internal states or memory), and of higher-dimensional categories to model type theory in a homotopic setting. Finally, rewriting theory is a major objective of this thematic team, in particular for its applications to algebra and categories, but for the description of operational semantics of various types of lambda-calculi, concurrent systems and probabilistic languages.


Seminar and working groups

Permanent members

Name@PhoneOfficePositionPoleTeam
Abbes Samy @ 01 57 27 92 37 3046 Associate Professor PPS algebre
Behr Nicolas @ 01 57 27 90 85 3030 Research Scientist - CNRS PPS algebre , preuves
Bucciarelli Antonio @ 01 57 27 94 33 3045 Associate Professor PPS algebre , preuves
Curien Pierre-Louis @ 01 57 27 92 23 3013 Senior Research Scientist Emeritus - CNRS PPS picube , algebre , preuves
Douteau Sylvain @ 3030 Associate Professor PPS algebre , preuves
Ehrhard Thomas @ 01 57 27 92 17 4014a Senior Research Scientist - CNRS PPS algebre , programmes , preuves , picube
Faggian Claudia @ 01 57 27 90 86 3032 Research Scientist - CNRS PPS algebre , preuves
Gaucher Philippe @ 01 57 27 92 55 3049 Research Scientist - CNRS PPS algebre
Geoffroy Guillaume @ 01 57 27 94 15 3019 Associate Professor PPS algebre , preuves
Guatto Adrien @ 01 57 27 94 15 3019 Associate Professor PPS algebre , programmes , preuves
Herbelin Hugo @ 01 57 27 90 87 3029 Senior Research Scientist - INRIA PPS algebre , picube , preuves , programmes
Kesner Delia @ 01 57 27 92 38 3020 Professor PPS algebre , preuves
Krivine Jean-Louis @ 01 57 27 92 39 3008 Professor Emeritus PPS algebre , preuves
Krivine Jean @ 4027 Research Scientist - CNRS PPS algebre , programmes
Ledent Jeremy @ 01 57 27 92 58 3022 Associate Professor PPS , ASD algebre , distribue
Manzonetto Giulio @ 01 57 27 93 54 4015 Professor PPS algebre , preuves
Melliès Paul-André @ 01 57 27 92 48 3023 Senior Research Scientist - CNRS ASV , PPS automates , algebre , preuves , picube
Métayer François @ 01 57 27 94 29 3012 Associate Professor Emeritus - Université Paris Nanterre PPS algebre
Petrisan Daniela @ 01 57 27 94 00 4016 Associate Professor ASV , PPS automates , algebre , picube
Picantin Matthieu @ 01 57 27 94 49 4043 Associate Professor PPS , ASV algebre , automates
Ruet Paul @ 01 57 27 92 48 3023 Research Scientist - CNRS PPS algebre , programmes
Saurin Alexis @ 01 57 27 93 37 3040 Research Scientist - CNRS PPS algebre , programmes , preuves , picube
Scherer Gabriel @ 4032 Research Scientist - INRIA PPS algebre , programmes , preuves , picube
van Gool Sam @ 01 57 27 94 05 4011 Associate Professor ASV , PPS automates , algebre


Non-permanent members

Name@PhoneOfficePositionPoleTeam
Barszezak Yoann @ Teaching and Research Assistant PPS preuves , algebre
Calandra Federico @ 3035 PhD Student PPS algebre
Cerda Remy @ 3057 Post-Doc PPS algebre , preuves
Cherradi El-Mehdi @ 4054 PhD Student ASV , PPS automates , algebre , preuves
De Faveri Arturo @ 4033 PhD Student PPS algebre , preuves
Di Donna Raffaele @ 3010 PhD Student PPS algebre , preuves
Di-Guardia Remi @ 3028 Post-Doc PPS algebre
Erlich Enzo @ 3014 PhD Student ASV , PPS automates , algebre
Gallego Emilio @ 01 57 27 92 24 4030 Starting research position - INRIA PPS picube , algebre , preuves , programmes
Giusti Giulia @ 4055 PhD Student PPS algebre , preuves
Jafar-Rhamani Farzad @ 01 57 27 92 92 3026 Post-Doc PPS algebre , programmes , preuves , picube
Jubert Moana @ 3034 PhD Student PPS picube , algebre , preuves
Kniazev Roman @ 3018 Teaching and Research Assistant PPS algebre
Lopez Gaetan @ 4059 PhD Student PPS algebre
Marzaioli Miriam @ 4055 PhD Student PPS algebre , preuves
Milicich Mariana @ 3026 PhD Student PPS algebre , preuves
Moreau Vincent @ 4033 PhD Student ASV , PPS automates , picube , algebre
Pasquale Valentin @ PhD Student PPS algebre , preuves
Ramos Miguel @ 3033 PhD Student PPS algebre , preuves
Salibra Antonino @ Associated Member PPS algebre , preuves
Tarantino Umberto @ PhD Student ASV , PPS automates , algebre
Theron Clement @ 4060 PhD Student PPS algebre
Vanoni Gabriele @ 4053 Post-Doc PPS algebre , preuves
Vienot Ada @ 3044 PhD Student PPS algebre , programmes , preuves
Walch Aymeric @ 3026 PhD Student PPS algebre