Thematic team


Leader


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.


Members

Name@PhoneOfficePositionPoleTeam
Abbes Samy @ 01 57 27 92 37 3046 Associate Professor PPS algebre , systemes
Allioux Antoine @ 01 57 27 92 28 3034 PhD Student PPS pi.r2 , algebre , preuves
Barenbaum Pablo @ 01 57 27 92 92 3026 PhD Student PPS algebre , preuves
Behr Nicolas @ 01 57 27 92 21 4029a Post-Doc PPS , ASD algebre , systemes , preuves , compsys
Blot Valentin @ Post-Doc PPS algebre , preuves
Bucciarelli Antonio @ 01 57 27 94 33 3045 Associate Professor PPS algebre , preuves
Burroni Albert @ Associated Member PPS algebre
Cagne Pierre @ 01 57 27 92 92 3044 PhD Student with teaching duties PPS algebre , preuves
Crubillé Raphaëlle @ 01 57 27 92 43 3033 PhD Student PPS algebre , preuves
Curien Pierre-Louis @ 01 57 27 92 23 3013 Senior Research Scientist - CNRS PPS algebre , pi.r2 , preuves
De Abhishek @ PhD Student PPS preuves , algebre
Dehornoy Patrick @ 01 57 27 92 55 3049 Associated Member PPS algebre
Delcroix-Oger Berenice @ 01 57 27 92 45 3041 Associate Professor PPS , ASD algebre , combi
Ehrhard Thomas @ 01 57 27 92 17 4014a Senior Research Scientist - CNRS PPS algebre , systemes , preuves
Faggian Claudia @ 01 57 27 92 55 3049 Research Scientist - CNRS PPS algebre , preuves
Finster Eric @ 01 57 27 94 30 3018 Post-Doc PPS pi.r2 , algebre , systemes , preuves
Forest Simon @ PhD Student PPS algebre
Frégier Yaël @ 01 57 27 92 41 4008b Associated Member PPS algebre
Galal Zeinab @ 01 57 27 90 86 3032 PhD Student PPS algebre , preuves
Gaucher Philippe @ 01 57 27 92 16 3048 Research Scientist - CNRS PPS algebre , systemes
Guatto Adrien @ 01 57 27 94 01 4021 Associate Professor PPS algebre , systemes , preuves
Guetta Leonard @ 01 57 27 90 86 3032 PhD Student PPS algebre
Guiraud Yves @ 01 57 27 94 29 3012 Research Scientist - INRIA PPS algebre , pi.r2
Herbelin Hugo @ 01 57 27 90 87 3029 Senior Research Scientist - INRIA PPS algebre , pi.r2 , preuves , systemes
Ho Thanh Cédric @ 3033 PhD Student with teaching duties PPS pi.r2 , algebre , preuves
Jacq Clément @ 01 57 27 92 92 3026 PhD Student with teaching duties PPS algebre , preuves
Kerjean Marie @ 01 57 27 94 16 3044 PhD Student with teaching duties PPS algebre , preuves
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
Leena-Subramaniam Chaitanya @ 01 57 27 92 28 3034 PhD Student ASV , PPS automates , algebre , preuves
Malbos Philippe @ 01 57 27 94 29 3012 Associated Member PPS pi.r2 , algebre
Mangin Cyprien @ 01 57 27 92 28 3034 PhD Student PPS algebre , pi.r2 , preuves , systemes
Melliès Paul-André @ 01 57 27 92 48 3023 Senior Research Scientist - CNRS ASV , PPS automates , algebre , preuves
Métayer François @ 01 57 27 94 29 3012 Associate Professor PPS algebre
Mimram Samuel @ Associated Member PPS pi.r2 , algebre
Nollet Remi @ 01 57 27 92 92 3026 PhD Student with teaching duties PPS algebre , preuves
Osmond Axel @ 01 57 27 94 56 4060 PhD Student ASV , PPS automates , algebre , preuves
Pagani Michele @ 01 57 27 92 56 4015 Professor PPS algebre , preuves
Picantin Matthieu @ 01 57 27 94 49 4043 Associate Professor PPS , ASV algebre , automates
Rivas Exequiel @ 01 57 27 94 30 3018 Post-Doc PPS pi.r2 , algebre , systemes , preuves
Ruet Paul @ 01 57 27 92 48 3023 Research Scientist - CNRS PPS algebre , systemes
Saurin Alexis @ 01 57 27 93 37 3040 Research Scientist - CNRS PPS pi.r2 , algebre , systemes , preuves
Sozeau Matthieu @ 01 57 27 94 15 3019 Research Scientist - INRIA PPS algebre , pi.r2 , preuves , systemes
Spiwack Arnaud @ Associated Member PPS pi.r2 , algebre , preuves
Stefanesco Leo @ 01 57 27 92 92 3026 PhD Student with teaching duties PPS algebre , preuves
Tasson Christine @ 01 57 27 93 37 3040 Associate Professor PPS algebre , preuves , systemes
Valiron Benoit @ Associated Member PPS algebre , preuves , systemes