É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'assistant de preuves Coq
  • Le protocol de routage Babel
  • Langages de programmation
  • Composants logiciels
  • Systèmes concurrents et probabilistes
  • Réécriture linéaire


Séminaire et groupes de travail

Permanents

Nom@TéléphoneBureauFonctionPôleÉquipe
Abbes Samy @ 01 57 27 92 37 3046 Maître.sse de conférences PPS systemes
Amadio Roberto @ 01 57 27 92 47 4020 Professeur.e PPS systemes , preuves
Baudart Guillaume @ 4026 Chargé.e de recherche - INRIA ISFP PPS systemes , preuves , picube
Bernardi Giovanni @ 01 57 27 93 38 4021 Maître.sse de conférences ASV , PPS verif , systemes , preuves
Castagna Giuseppe @ 01 57 27 93 40 3039 Directeur.rice de recherche - CNRS PPS preuves , systemes
Chroboczek Juliusz @ 01 57 27 92 37 3046 Maître.sse de conférences PPS systemes
Dagand Pierre-Evariste @ 01 57 27 94 29 3012 Chargé.e de recherche - CNRS PPS systemes
Di Cosmo Roberto @ Professeur.e - (en détachement à l'INRIA) PPS systemes
Ehrhard Thomas @ 01 57 27 92 17 4014a Directeur.rice de recherche - CNRS PPS algebre , systemes , preuves , picube
Férée Hugo @ 01 57 27 94 05 4011 Maître.sse de conférences PPS systemes , preuves
Guatto Adrien @ 01 57 27 94 15 3019 Maître.sse de conférences PPS algebre , systemes , preuves
Herbelin Hugo @ 01 57 27 90 87 3029 Directeur.rice de recherche - INRIA PPS algebre , picube , preuves , systemes
Krivine Jean @ Chargé.e de recherche - CNRS - Currently on leave PPS , ASD systemes , preuves , distribue
Letouzey Pierre @ 01 57 27 93 37 3040 Maître.sse de conférences PPS picube , systemes , preuves
Lévy Jean-Jacques @ 01 57 27 92 68 3009 Directeur.rice de recherche émérite - INRIA PPS systemes , preuves , picube
Ruet Paul @ 01 57 27 92 48 3023 Chargé.e de recherche - CNRS PPS algebre , systemes
Saurin Alexis @ 01 57 27 93 37 3040 Chargé.e de recherche - CNRS PPS algebre , systemes , preuves , picube
Scherer Gabriel @ 4032 Chargé.e de recherche - INRIA PPS algebre , systemes , preuves , picube
Treinen Ralf @ 01 57 27 92 44 3021 Professeur.e PPS , ASV systemes , verif


Non-permanents