#### 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 | @ | Phone | Office | Position | Pole | Team |
---|---|---|---|---|---|---|

Abbes Samy | @ | 01 57 27 92 37 | 3046 | Associate Professor | PPS | algebre , systemes |

Bucciarelli Antonio | @ | 01 57 27 94 33 | 3045 | Associate Professor | PPS | algebre , preuves |

Burroni Albert | @ | Pensioner - MCF Paris Diderot | PPS | algebre | ||

Curien Pierre-Louis | @ | 01 57 27 92 23 | 3013 | Senior Research Scientist Emeritus - CNRS | PPS | pi.r2 , algebre , preuves |

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 90 86 | 3032 | Research Scientist - CNRS | PPS | algebre , preuves |

Gaucher Philippe | @ | 01 57 27 92 55 | 3049 | Research Scientist - CNRS | PPS | algebre , systemes |

Guatto Adrien | @ | 01 57 27 94 01 | 4026 | Associate Professor | PPS | algebre , systemes , preuves |

Herbelin Hugo | @ | 01 57 27 90 87 | 3029 | Senior Research Scientist - INRIA | PPS | algebre , pi.r2 , 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 |

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 |

Pagani Michele | @ | 01 57 27 92 56 | 4015 | Professor | PPS | algebre , preuves |

Petrisan Daniela | @ | 01 57 27 94 00 | 4016 | Associate Professor | ASV , PPS | automates , algebre |

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 | pi.r2 , algebre , systemes , preuves |

Tasson Christine | @ | 01 57 27 93 37 | 3040 | Associate Professor | PPS | algebre , preuves , systemes |

#### Non-permanent permanents

Name | @ | Phone | Office | Position | Pole | Team |
---|---|---|---|---|---|---|

Allioux Antoine | @ | 01 57 27 92 28 | 3034 | PhD Student | PPS | pi.r2 , algebre , preuves |

Castro Felix | @ | 3010 | PhD Student | PPS | pi.r2 , algebre , systemes , preuves | |

Crubillé Raphaëlle | @ | 01 57 27 92 43 | 3033 | Visitor | PPS | algebre , preuves |

De Abhishek | @ | 01 57 27 92 92 | 3026 | PhD Student | PPS | pi.r2 , algebre , preuves |

Djuric Alen | @ | 3033 | PhD Student | PPS | pi.r2 , algebre | |

Frégier Yaël | @ | 01 57 27 94 00 | 4016 | Associated Member - MCF Univ Artois | PPS | algebre |

Galal Zeinab | @ | 01 57 27 90 86 | 3033 | PhD Student | PPS | algebre , preuves |

Gallego Emilio | @ | 0157279224 | 4030 | Starting research position - INRIA | PPS | pi.r2 , algebre , systemes , preuves |

Guetta Leonard | @ | 3055 | PhD Student | PPS | algebre | |

Hadzihasanovic Amar | @ | 4053 | Post-Doc | PPS | pi.r2 , algebre , preuves | |

Ho Thanh Cédric | @ | 3033 | PhD Student | PPS | pi.r2 , algebre , preuves | |

Jafar-Rhamani Farzad | @ | 01 57 27 92 92 | 3026 | PhD Student | PPS | pi.r2 , algebre , systemes , preuves |

Leena-Subramaniam Chaitanya | @ | 01 57 27 92 28 | 3033 | PhD Student | ASV , PPS | automates , algebre , preuves |

Moeneclaey Hugo | @ | 3034 | PhD Student | PPS | pi.r2 , algebre , systemes , preuves | |

Nollet Remi | @ | 01 57 27 92 92 | 3026 | PhD Student | PPS | algebre , preuves |

Osmond Axel | @ | 01 57 27 94 56 | 3034 | PhD Student | ASV , PPS | automates , algebre , preuves |

Pellissier Luc | @ | 3018 | Visitor | PPS | algebre , preuves | |

Peyrot Loïc | @ | 01 57 27 92 92 | 3026 | PhD Student | PPS | algebre , preuves |

Spiwack Arnaud | @ | Associated Member - EURL Tweag | PPS | pi.r2 , algebre , preuves | ||

Stefanesco Leo | @ | 01 57 27 92 92 | 3026 | PhD Student | PPS | algebre , preuves |

Stolze Claude | @ | 4053 | Teaching and Research Assistant | PPS | algebre , preuves | |

Valiron Benoit | @ | Associated Member - MCF Supelec | PPS | algebre , systemes , preuves |