Thematic team Pole Proofs, programs and systems Algebra and computation Head Thomas Ehrhard 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 Proofs, programs and systems Higher categories, polygraphs and homotopy Semantics Permanent members Name@PhoneOfficePositionPoleTeam 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 , systemes , 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 , systemes , preuves Herbelin Hugo @ 01 57 27 90 87 3029 Senior Research Scientist - INRIA PPS algebre , picube , preuves , systemes 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 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 , systemes Saurin Alexis @ 01 57 27 93 37 3040 Research Scientist - CNRS PPS algebre , systemes , preuves , picube Scherer Gabriel @ 4032 Research Scientist - INRIA PPS algebre , systemes , 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 Belloundja Abdelkader @ Intern PPS algebre , picube , preuves , systemes Blazy Vincent @ 3044 PhD Student PPS algebre , picube , preuves Bouniard Yoan @ Intern PPS algebre Brasseur Leopold @ Intern PPS algebre , systemes , preuves , picube Castro Felix @ 3026 PhD Student PPS picube , algebre , systemes , preuves Cherradi El-Mehdi @ 3044 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 Djuric Alen @ 3033 Post-Doc PPS algebre , picube Erlich Enzo @ Intern ASV , PPS verif , algebre Fiorillo Guido @ Intern PPS algebre , systemes , preuves , picube Gallego Emilio @ 01 57 27 92 24 4030 Starting research position - INRIA PPS picube , algebre , systemes , preuves Giusti Giulia @ 4055 PhD Student PPS algebre , preuves Jafar-Rhamani Farzad @ 01 57 27 92 92 3026 Post-Doc PPS algebre , systemes , preuves , picube Jubert Moana @ 3034 PhD Student PPS picube , algebre , preuves Kniazev Roman @ 3018 Teaching and Research Assistant PPS algebre Lopez Gaetan @ Intern 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 Osorio Daniel @ Intern PPS algebre , systemes , preuves , picube Pasquale Valentin @ PhD Student PPS algebre , preuves Peyrot Loïc @ 01 57 27 92 92 3010 Post-Doc PPS algebre , preuves Ramos Miguel @ 3033 PhD Student PPS algebre , preuves Salibra Antonino @ Associated Member PPS algebre , preuves Santamaria Marco @ Intern PPS algebre , preuves Theron Clement @ 4060 PhD Student PPS algebre Vanoni Gabriele @ 3018 Post-Doc PPS algebre , preuves Vienot Ada @ 3044 PhD Student PPS algebre , systemes , preuves Walch Aymeric @ 3026 PhD Student PPS algebre