Équipe thématique Pôle Preuves, programmes et systèmes Analyse et conception de systèmes Responsable Pierre-Evariste Dagand 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 Preuves, programmes et systèmes Analyse et conception de systèmes Programmation Théorie des types et réalisabilité 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 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 picube , preuves , systemes 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 picube , algebre , systemes , preuves Treinen Ralf @ 01 57 27 92 44 3021 Professeur.e PPS , ASV systemes , verif Non-permanents Nom@TéléphoneBureauFonctionPôleÉquipe Castro Felix @ 3026 Doctorant.e PPS picube , algebre , systemes , preuves Duboc Guillaume @ 3010 Doctorant.e PPS systemes Gallego Emilio @ 01 57 27 92 24 4030 Starting research position - INRIA PPS picube , algebre , systemes , preuves Gonzalez Colin @ 3044 Doctorant.e PPS systemes Gros Basile @ Stagiaire ASV , PPS verif , systemes , preuves Jafar-Rhamani Farzad @ 01 57 27 92 92 3026 Doctorant.e PPS picube , algebre , systemes , preuves Laforgue Paul @ 3034 Doctorant.e PPS systemes Laurent Mickael @ 3033 Doctorant.e PPS systemes , preuves Moeneclaey Hugo @ 3034 Doctorant.e PPS picube , algebre , systemes , preuves Nourel Astyax @ 4057 Doctorant.e PPS systemes Turbiau Guilhem @ Stagiaire PPS algebre , systemes , preuves Valiron Benoit @ 4052 Membre associé.e - MCF Supelec PPS algebre , systemes , preuves Vienot Ada @ 3033 Doctorant.e PPS algebre , systemes , preuves Vincont Yaelle @ 3018 ATER PPS systemes Vivien Samuel @ Stagiaire PPS systemes