Pôle

Équipe-projet Inria $\pi r^2$ (Inria)
É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 algebre , systemes
Amadio Roberto @ 01 57 27 92 47 4020 Professeur.e PPS systemes , preuves
Behr Nicolas @ 01 57 27 92 61 4028a 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
Burroni Albert @ Retraité.e - MCF Paris Diderot PPS algebre
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 pi.r2 , algebre , preuves
Dagand Pierre-Evariste @ 01 57 27 94 29 3012 Chargé.e de recherche - CNRS PPS systemes
De Rauglaudre Daniel @ 01 57 27 90 86 3030 Ingénieur de recherche PPS pi.r2 , systemes , preuves
Delcroix-Oger Berenice @ 01 57 27 92 45 4049 Maître.sse de conférences ASD , PPS combi , algebre
Di Cosmo Roberto @ Professeur.e - (en détachement à l'INRIA) PPS systemes
Douteau Sylvain @ 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
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 preuves
Gaucher Philippe @ 01 57 27 92 55 3049 Chargé.e de recherche - CNRS PPS algebre , systemes
Geoffroy Guillaume @ 01 57 27 94 15 3019 Maître.sse de conférences PPS algebre , preuves
Guatto Adrien @ 01 57 27 94 01 4026 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 , pi.r2 , 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
Letouzey Pierre @ 01 57 27 93 37 3040 Maître.sse de conférences PPS pi.r2 , systemes , preuves
Lévy Jean-Jacques @ 01 57 27 92 68 3009 Directeur.rice de recherche émérite - INRIA PPS pi.r2 , preuves , systemes
Martinez Thierry @ 3030 Informaticien.ne - INRIA PPS pi.r2 , preuves
Melliès Paul-André @ 01 57 27 92 48 3023 Directeur.rice de recherche - CNRS ASV , PPS automates , algebre , preuves
Métayer François @ 01 57 27 94 29 3012 Maître.sse de conférences - Université Paris 10 PPS algebre
Padovani Vincent @ 01 57 27 93 39 3045 Maître.sse de conférences PPS preuves
Pagani Michele @ 01 57 27 93 54 4015 Professeur.e PPS algebre , preuves
Parigot Michel @ 01 57 27 92 51 3047 Chargé.e de recherche - CNRS PPS preuves
Petrisan Daniela @ 01 57 27 94 00 4016 Maître.sse de conférences ASV , PPS automates , algebre
Picantin Matthieu @ 01 57 27 94 49 4043 Maître.sse de conférences PPS , ASV algebre , automates
Roux Mattias @ 3018 Ingénieur d'étude PPS systemes
Rozière Paul @ 01 57 27 92 57 3057 Maître.sse de conférences 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 pi.r2 , algebre , systemes , preuves
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
Allioux Antoine @ 01 57 27 92 28 3034 Doctorant.e PPS pi.r2 , algebre , preuves
Aristote Quentin @ 4054 Stagiaire PPS algebre
Arrial Victor @ 3018 Doctorant.e PPS preuves
Bauer Esaie @ 3033 Doctorant.e PPS preuves
Binetruy Thomas @ 3033 Doctorant.e PPS preuves
Blazy Vincent @ 3044 Doctorant.e PPS pi.r2 , algebre , preuves
Caracciolo Nathan @ 4054 Stagiaire PPS systemes
Castro Felix @ 3026 Doctorant.e PPS pi.r2 , algebre , systemes , preuves
Chardonnet Kostia @ 3044 Doctorant.e PPS pi.r2 , preuves
Cherradi El-Mehdi @ 3044 Doctorant.e ASV , PPS automates , algebre , preuves
De Abhishek @ 01 57 27 92 92 3026 Doctorant.e PPS pi.r2 , algebre , preuves
Djuric Alen @ 3033 Doctorant.e PPS pi.r2 , algebre
Duboc Guillaume @ 3010 Doctorant.e PPS systemes
Gallego Emilio @ 01 57 27 92 24 4030 Starting research position - INRIA PPS pi.r2 , algebre , systemes , preuves
Gonzalez Colin @ 3044 Doctorant.e PPS pi.r2 , systemes
Hadjoudj Mohamed @ 4055 Stagiaire PPS preuves
Jafar-Rhamani Farzad @ 01 57 27 92 92 3026 Doctorant.e PPS pi.r2 , algebre , systemes , preuves
Jubert Moana @ 3030 Stagiaire PPS algebre
Laforgue Paul @ 3034 Doctorant.e PPS systemes
Lancelot Adrienne @ 3057 Stagiaire PPS preuves
Laurent Mickael @ 3033 Doctorant.e PPS systemes , preuves
Lotfi Elaheh @ 3057 Stagiaire PPS preuves
Manara Giulia @ 3014 Doctorant.e PPS systemes
Moeneclaey Hugo @ 3034 Doctorant.e PPS pi.r2 , algebre , systemes , preuves
Moreau Vincent @ 4033 Doctorant.e ASV , PPS automates , pi.r2 , algebre
Nigron Pierre @ 3033 Doctorant.e PPS systemes
Nourel Astyax @ 4057 Doctorant.e PPS systemes
Pepin Martin @ 3018 Post-Doctorant.e PPS algebre
Peyrot Loïc @ 01 57 27 92 92 3010 Doctorant.e PPS algebre , preuves
Reboullet Sarah @ 3034 Doctorant.e PPS preuves
Spiwack Arnaud @ Membre associé.e - EURL Tweag PPS pi.r2 , algebre , preuves
Theron Clement @ 4060 Doctorant.e PPS algebre
Valiron Benoit @ 4052 Membre associé.e - MCF Supelec PPS algebre , systemes , preuves
Vienot Ada @ 3033 Doctorant.e PPS algebre , systemes , preuves
Walch Aymeric @ 3026 Stagiaire PPS algebre
Ziat Ghiles @ 3018 Post-Doctorant.e PPS systemes
Zimmermann Theo @ 01 57 27 94 15 3019 Post-Doctorant.e - Ingénieur R&D Inria PPS pi.r2 , systemes , preuves