Pôle

Équipe thématique Algèbre et calcul
Équipe thématique Analyse et conception de systèmes
Équipe-projet Inria Picube (Inria)
Équipe thématique Preuves et programmes


Responsable


Thèmes de recherche

Le programme scientifique du pôle Preuves, programmes et systèmes (PPS) de l'IRIF vise à renforcer les fondements théoriques des langages de programmation, des assistants de preuves et, plus généralement, des formalismes de calcul. Ces problématiques sont abordées en croisant trois points de vue complémentaires :

  • une approche syntaxique, qui développe des langages théoriques issus de formalismes logiques,
  • une approche algébrique, qui étudie les structures mathématiques liées au calcul,
  • une approche pratique, qui modélise et analyse des systèmes de calcul réels.

Le pôle est constitué de trois équipes thématiques, correspondant à chacun de ces trois points de vue. Elles développent leurs outils propres, et les mettent ensuite au service d'objectifs scientifiques communs :

Le pôle PPS héberge l'équipe-projet $\pi r^2$ commune à l'INRIA, au CNRS et à l'Université Paris-Diderot — Paris 7, ainsi qu'une partie des membres de l'IRILL (Initiative de Recherche et d'Innovation sur le Logiciel Libre), une structure commune à l'INRIA, à l'Université Paris-Diderot — Paris 7 et à l'Université Pierre-et-Marie-Curie — Paris 6.


Evènements

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
Behr Nicolas @ 01 57 27 90 85 3030 Chargé.e de recherche - CNRS PPS algebre , preuves
Bernardi Giovanni @ 01 57 27 93 38 4021 Maître.sse de conférences ASV , PPS verif , systemes , preuves
Bucciarelli Antonio @ 01 57 27 94 33 3045 Maître.sse de conférences PPS algebre , 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
Curien Pierre-Louis @ 01 57 27 92 23 3013 Directeur.rice de recherche émérite - CNRS PPS picube , algebre , preuves
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
Douteau Sylvain @ 3030 Maître.sse de conférences PPS algebre , preuves
Ehrhard Thomas @ 01 57 27 92 17 4014a Directeur.rice de recherche - CNRS PPS algebre , systemes , preuves , picube
Faggian Claudia @ 01 57 27 90 86 3032 Chargé.e de recherche - CNRS PPS algebre , preuves
Férée Hugo @ 01 57 27 94 05 4011 Maître.sse de conférences PPS systemes , preuves
Gaucher Philippe @ 01 57 27 92 55 3049 Chargé.e de recherche - CNRS PPS algebre
Geoffroy Guillaume @ 01 57 27 94 15 3019 Maître.sse de conférences PPS algebre , 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
Joly Thierry @ 01 57 27 92 55 3049 Maître.sse de conférences PPS preuves
Kesner Delia @ 01 57 27 92 38 3020 Professeur.e PPS algebre , preuves
Krivine Jean-Louis @ 01 57 27 92 39 3008 Professeur.e émérite PPS algebre , preuves
Krivine Jean @ Chargé.e de recherche - CNRS - Currently on leave PPS , ASD systemes , preuves , distribue
Ledent Jeremy @ 3022 Maître.sse de conférences PPS algebre
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
Manzonetto Giulio @ 01 57 27 93 54 4015 Professeur.e PPS algebre , preuves
Melliès Paul-André @ 01 57 27 92 48 3023 Directeur.rice de recherche - CNRS ASV , PPS automates , algebre , preuves , picube
Métayer François @ 01 57 27 94 29 3012 Maître.sse de conférences émérite - Université Paris Nanterre PPS algebre
Padovani Vincent @ 01 57 27 93 39 3045 Maître.sse de conférences PPS preuves
Petrisan Daniela @ 01 57 27 94 00 4016 Maître.sse de conférences ASV , PPS automates , algebre , picube
Picantin Matthieu @ 01 57 27 94 49 4043 Maître.sse de conférences PPS , ASV algebre , automates
Rozière Paul @ 01 57 27 92 57 3057 Retraité.e - MCF Université Paris Cité PPS preuves
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
van Gool Sam @ 01 57 27 94 05 4011 Maître.sse de conférences ASV , PPS automates , algebre


Non-permanents

Nom@TéléphoneBureauFonctionPôleÉquipe
Arambillete Santiago @ 3034 Doctorant.e PPS preuves
Aristote Quentin @ 3010 Doctorant.e ASV , PPS automates , picube
Arrial Victor @ 3018 Doctorant.e PPS preuves
Bauer Esaie @ 3033 Doctorant.e PPS preuves , picube
Belloundja Abdelkader @ Stagiaire PPS preuves , systemes , algebre , picube
Blazy Vincent @ 3044 Doctorant.e PPS picube , algebre , preuves
Brasseur Leopold @ Stagiaire PPS algebre , systemes , preuves , picube
Castro Felix @ 3026 Doctorant.e PPS picube , algebre , systemes , preuves
Cherradi El-Mehdi @ 3044 Doctorant.e ASV , PPS automates , algebre , preuves
Danilkin Anton @ Stagiaire PPS systemes , picube , preuves
De Faveri Arturo @ 4033 Doctorant.e PPS algebre , preuves
Di Donna Raffaele @ 3010 Doctorant.e PPS algebre , preuves
Djuric Alen @ 3033 Post-Doctorant.e PPS algebre , picube
Duboc Guillaume @ 3010 Doctorant.e PPS systemes
Erlich Enzo @ Stagiaire ASV , PPS verif , algebre
Gallego Emilio @ 01 57 27 92 24 4030 Starting research position - INRIA PPS picube , algebre , systemes , preuves
Giusti Giulia @ 4055 Doctorant.e PPS algebre , 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
Jubert Moana @ 3034 Doctorant.e PPS picube , algebre , preuves
Kniazev Roman @ 3018 ATER PPS algebre
Lancelot Adrienne @ 3026 Doctorant.e PPS preuves
Laurent Mickael @ 3033 Doctorant.e PPS systemes , preuves
Manara Giulia @ 3014 Doctorant.e PPS preuves
Martinez Thierry @ 01 57 27 90 87 3029 Ingénieur.e de recherche - INRIA PPS preuves , picube
Marzaioli Miriam @ 4055 Doctorant.e PPS algebre , preuves
Milicich Mariana @ 3026 Doctorant.e PPS algebre , preuves
Moreau Vincent @ 4033 Doctorant.e ASV , PPS automates , picube , algebre
Nourel Astyax @ 4057 Doctorant.e PPS systemes
Pasquale Valentin @ Doctorant.e PPS algebre , preuves
Peyrot Loïc @ 01 57 27 92 92 3010 Post-Doctorant.e PPS algebre , preuves
Ramos Miguel @ 3033 Doctorant.e PPS algebre , preuves
Reboullet Sarah @ 3034 Doctorant.e PPS preuves , picube
Salibra Antonino @ Membre associé.e PPS algebre , preuves
Santamaria Marco @ Stagiaire PPS algebre , preuves
Theron Clement @ 4060 Doctorant.e PPS algebre
Valiron Benoit @ 4052 Membre associé.e - MCF Supelec PPS algebre , systemes , preuves
Vanoni Gabriele @ 3018 Post-Doctorant.e PPS algebre , preuves
Vienot Ada @ 3044 Doctorant.e PPS algebre , systemes , preuves
Walch Aymeric @ 3026 Doctorant.e PPS algebre