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.
Preuves, programmes et systèmes
Analyse et conception de systèmes
Programmation
Théorie des types et réalisabilité
Nom | @ | Téléphone | Bureau | Fonction | Pô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 | systemes | ||
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 |
Nom | @ | Téléphone | Bureau | Fonction | Pôle | Équipe |
---|---|---|---|---|---|---|
Belloundja Abdelkader | @ | Stagiaire | PPS | preuves , systemes , algebre , picube | ||
Brasseur Leopold | @ | Stagiaire | PPS | algebre , systemes , preuves , picube | ||
Castro Felix | @ | 3026 | Doctorant.e | PPS | picube , algebre , systemes , preuves | |
Danilkin Anton | @ | Stagiaire | PPS | systemes , picube , preuves | ||
Duboc Guillaume | @ | 3010 | Doctorant.e | PPS | systemes | |
Fiorillo Guido | @ | Stagiaire | PPS | algebre , systemes , preuves , picube | ||
Gallego Emilio | @ | 01 57 27 92 24 | 4030 | Starting research position - INRIA | PPS | picube , algebre , systemes , preuves |
Gonzalez Colin | @ | 3044 | Doctorant.e | PPS | systemes | |
Jafar-Rhamani Farzad | @ | 01 57 27 92 92 | 3026 | Post-Doctorant.e | PPS | algebre , systemes , preuves , picube |
Laurent Mickael | @ | 3033 | Doctorant.e | PPS | systemes , preuves | |
Ndiaye Yves | @ | Stagiaire | PPS | systemes | ||
Nourel Astyax | @ | 4057 | Doctorant.e | PPS | systemes | |
Osorio Daniel | @ | Stagiaire | PPS | algebre , systemes , preuves , picube | ||
Vienot Ada | @ | 3044 | Doctorant.e | PPS | algebre , systemes , preuves |