Équipe thématique


Responsable


Thèmes de recherche

Notre objectif est de développer des méthodes formelles ou mathématiques pour modéliser des systèmes existants, naturels ou artificiels, et pour résoudre des problèmes concrets. Cette thématique est très liée à l'IRILL, avec laquelle nous développons des méthodes pour rendre plus sûre et plus efficace la distribution de systèmes logiciels de grande dimension. Nous développons des langages de programmation adaptés à des domaines d'application particuliers, comme les bases de données ou le web. Nous mettons aussi au point des outils probabilistes, graphiques, à base de réécriture ou d'algèbres de processus pour modéliser des systèmes concurrents.

En application, le pôle souhaite poursuivre et développer son activité pluridisciplinaire tournée vers la biologie des systèmes et la modélisation. Nos activités sont aussi historiquement connectées à la fondation Software Heritage, créée par des membres de PPS, et dont nous soutenons le développement.

  • L'assisant de preuves Coq
  • Le protocol de routage Babel
  • Langages de programmation
  • Composants logiciels
  • Systèmes concurrents et probabilistes
  • Réécriture linéaire


Annuaire

NomTéléphoneBureauFonctionMail
Abbes Samy 01 57 27 92 37 3046 Maître.sse de conférence Mail
Amadio Roberto 01 57 27 92 47 4020 Professeur.e Mail
Balat Vincent 01 57 27 92 58 3022 Maître.sse de conférence - (en disponibilité) Mail
Batmalle Hadrien 01 57 27 92 43 3033 Doctorant.e Mail
Bernardi Giovanni 01 57 27 93 38 4026 Maître.sse de conférence Mail
Boutier Matthieu 01 57 27 92 43 3033 Doctorant.e Mail
Castagna Giuseppe 01 57 27 93 40 3039 Directeur.rice de recherche - CNRS Mail
Chroboczek Juliusz 01 57 27 92 37 3046 Maître.sse de conférence Mail
Claret Guillaume 01 57 27 92 28 3034 Doctorant.e Mail
Crubillé Raphaëlle 01 57 27 92 43 3033 Doctorant.e Mail
Di Cosmo Roberto 01 57 27 92 20 3020 Professeur.e Mail
Ehrhard Thomas 01 57 27 92 17 4014a Directeur.rice de recherche - CNRS Mail
Faggian Claudia 01 57 27 92 55 3049 Chargé.e de recherche - CNRS Mail
Finster Eric Post-Doctorant.e Mail
Galal Zeinab Doctorant.e Mail
Gaucher Philippe 01 57 27 92 16 3048 Chargé.e de recherche - CNRS Mail
Girka Thibaut 01 57 27 92 43 3033 Doctorant.e Mail
Hamdaoui Yann 01 57 27 92 92 3026 Doctorant.e Mail
Herbelin Hugo 01 57 27 90 87 3029 Directeur.rice de recherche - INRIA Mail
Husson Adrien 01 57 27 57 27 3044 Doctorant.e Mail
Jaber Guilhem 01 57 27 94 30 3018 Post-Doctorant.e Mail
Jeannerod Nicolas 01 57 27 92 22 3035 Doctorant.e avec mission d'enseignement Mail
Kerjean Marie 01 57 27 94 16 3044 Doctorant.e avec mission d'enseignement Mail
Krivine Jean 01 57 27 93 38 4026 Chargé.e de recherche - CNRS Mail
Lanvin Victor 01 57 27 92 22 3035 Doctorant.e Mail
Legrandgérard Yves 01 57 27 92 57 3057 Informaticien.ne Mail
Letouzey Pierre 01 57 27 90 84 3028 Maître.sse de conférence Mail
Lévy Jean-Jacques 01 57 27 92 68 3009 Directeur.rice de recherche émérite - INRIA Mail
Mangin Cyprien 01 57 27 92 28 3034 Doctorant.e Mail
Miquey Étienne 01 57 27 92 22 3035 Doctorant.e Mail
Nollet Remi 3026 Doctorant.e Mail
Petrucciani Tommaso 01 57 27 92 22 3035 Doctorant.e Mail
Radanne Gabriel 01 57 27 92 92 3026 Doctorant.e Mail
Régis-Gianas Yann 01 57 27 90 84 3028 Maître.sse de conférence Mail
Ruet Paul 01 57 27 92 48 3023 Chargé.e de recherche - CNRS Mail
Saurin Alexis 01 57 27 93 37 3040 Chargé.e de recherche - CNRS Mail
Sozeau Matthieu 01 57 27 94 15 3019 Chargé.e de recherche - INRIA Mail
Tasson Christine 01 57 27 93 37 3040 Maître.sse de conférence Mail
Treinen Ralf 01 57 27 92 44 3021 Professeur.e Mail
Valiron Benoit 3018 Membre associé.e Mail
Vouillon Jérôme 01 57 27 92 58 3022 Chargé.e de recherche - CNRS (en disponibilité) Mail
Zacchiroli Stefano 01 57 27 94 15 3019 Maître.sse de conférence Mail
Zimmermann Theo 01 57 27 92 28 3034 Doctorant.e Mail
de Rauglaudre Daniel 01 57 27 90 86 3030 Informaticien.ne Mail