Preuves, programmes et systèmes

Contact : Yves Guiraud

L'équipe Preuves, Programmes et Systèmes (PPS) de l'IRIF fédère les énergies de chercheurs, enseignants-chercheurs et doctorants issus de cultures différentes (informatique et mathématiques) pour travailler sur les thématiques des langages de programmation et des systèmes distribués, et de leurs fondements logiques et mathématiques.

Dans cette perspective, PPS développe la théorie des systèmes de typage, des machines abstraites et des programmes concurrents et s'intéresse à la logique des programmes, à la sémantique des effets et des ressources dans les langages de programmation etc. L'équipe élabore aussi des méthodes et des outils de modélisation des systèmes biologiques et de nouvelles méthodes de développement et de maintenance des systèmes dans le domaine du logiciel libre. Enfin, PPS est un acteur essentiel dans le domaine du développement des assistants à la preuve.

Notre projet de recherche est fondé sur la conviction que la logique (et plus particulièrement la théorie de la démonstration), mais aussi la théorie des catégories, et d'autres théories mathématiques comme l'homologie ou l'homotopie, ou les probabilités, ont un rôle essentiel à jouer pour élucider le sens des programmes, afin de les rendre plus sûrs, et qu'inversement l'informatique, comme la physique a pu l'être et continue de l'être, peut être une source dans laquelle la logique et d'autres domaines des mathématiques peuvent puiser pour se renouveler.

L'équipe PPS comporte une Équipe Projet Commune (EPC) de l'INRIA, πr², et a un rôle moteur dans l'Initiative de Recherche sur l'Informatique du Logiciel Libre, structure d'accueil commune à l'INRIA, l'Université Paris Diderot et l'UPMC.

Anciennes pages web de l'équipe PPS

Membres

NomTéléphoneBureauFonctionMail
Abbes Samy 01 57 27 92 37 3046 Maître de conférence Mail
Amadio Roberto 01 57 27 92 40 3015 Professeur.e Mail
Balat Vincent 01 57 27 92 58 3022 Maître de conférence - En détachement Mail
Barenbaum Pablo 01 57 27 92 92 3026 Doctorant.e Mail
Batmalle Hadrien 01 57 27 92 43 3033 Doctorant.e Mail
Berline Chantal Membre associé.e Mail
Bernardi Giovanni 01 57 27 93 38 3041 Maître de conférence Mail
Boutier Matthieu 01 57 27 92 43 3033 Doctorant.e Mail
Bucciarelli Antonio 01 57 27 94 33 3045 Maître de conférence Mail
Burroni Albert Membre associé.e Mail
Cagne Pierre 01 57 27 92 92 3026 Doctorant.e - Moniteur Mail
Castagna Giuseppe 01 57 27 93 40 3039 Directeur.rice de recherche - CNRS Mail
Chenavier Cyrille 01 57 27 90 86 3032 ATER Mail
Chouquet Jules Doctorant.e Mail
Chroboczek Juliusz 01 57 27 92 37 3046 Maître de conférence Mail
Crubillé Raphaëlle 01 57 27 92 43 3033 Doctorant.e Mail
Curien Pierre-Louis 01 57 27 92 23 3013 Directeur.rice de recherche - CNRS Mail
Dehornoy Patrick 01 57 27 94 42 3042A Membre associé.e Mail
Di Cosmo Roberto 01 57 27 92 20 3020 Professeur.e Mail
Doumane Amina 01 57 27 92 92 3026 Doctorant.e Mail
Ehrhard Thomas 01 57 27 92 17 3012 Directeur.rice de recherche - CNRS Mail
Faggian Claudia 01 57 27 92 55 3049 Chargé.e de recherche - CNRS Mail
Favro Giordano 01 57 27 90 86 3032 Doctorant.e Mail
Gaucher Philippe 01 57 27 92 16 3048 Chargé.e de recherche - CNRS Mail
Girka Thibaut 01 57 27 92 43 3033 Doctorant.e Mail
Guetta Leonard 01 57 27 90 86 3032 Doctorant.e Mail
Guiraud Yves 01 57 27 94 29 3010 Chargé.e de recherche - INRIA Mail
Hamdaoui Yann 01 57 27 92 92 3026 Doctorant.e Mail
Herbelin Hugo 01 57 27 90 87 3029 Directeur.rice de recherche - INRIA Mail
Husson Adrien 01 57 27 57 27 3044 Doctorant.e Mail
Jaber Guilhem 01 57 27 94 30 3018 Post-Doctorant.e Mail
Jacq Clément 01 57 27 92 92 3026 Doctorant.e avec mission d'enseignement Mail
Jeannerod Nicolas 01 57 27 92 22 3035 Doctorant.e Mail
Joly Thierry 01 57 27 90 88 3007 Maître de conférence Mail
Kerjean Marie 01 57 27 94 16 3044 Doctorant.e avec mission d'enseignement Mail
Kesner Delia 01 57 27 92 38 3025 Professeur.e Mail
Krivine Jean-Louis 01 57 27 92 39 3008 Professeur.e émérite Mail
Krivine Jean 01 57 27 93 38 3041 Chargé.e de recherche - CNRS Mail
Lanvin Victor 01 57 27 92 22 3035 Doctorant.e Mail
Legrandgérard Yves 01 57 27 92 57 3057 Informaticien.ne Mail
Leivant Daniel Membre associé.e Mail
Letouzey Pierre 01 57 27 90 84 3028 Maître de conférence Mail
Lévy Jean-Jacques 01 57 27 92 68 3009 Directeur.rice de recherche émérite - INRIA Mail
Lucas Maxime 01 57 27 90 86 3032 Doctorant.e Mail
Mangin Cyprien 01 57 27 92 28 3034 Doctorant.e Mail
Manoury Pascal 01 57 27 90 88 3007 Maître de conférence Mail
Mansfield Shane 01 57 27 94 30 3018 Post-Doctorant.e Mail
Manzonetto Giulio 01 57 27 92 55 3049 Maître de conférence - Délégation CNRS Mail
Melliès Paul-Andre 01 57 27 92 48 3023 Chargé.e de recherche - CNRS Mail
Métayer François 01 57 27 94 29 3010 Maître de conférence Mail
Miquey Étienne 01 57 27 92 22 3035 Doctorant.e Mail
Nollet Remi 01 57 27 92 28 3034 Doctorant.e Mail
Obradović Jovana 01 57 27 92 22 3035 Doctorant.e Mail
Padovani Vincent 01 57 27 93 39 3045 Maître de conférence Mail
Pagani Michele 01 57 27 92 50 3016 Professeur.e Mail
Parigot Michel 01 57 27 92 51 3047 Chargé.e de recherche - CNRS Mail
Pasquali Fabio 01 57 27 94 30 3018 Post-Doctorant.e Mail
Petrucciani Tommaso 01 57 27 92 22 3035 Doctorant.e Mail
Polonsky Andrew 01 57 27 94 30 3018 Post-Doctorant.e Mail
Radanne Gabriel 01 57 27 92 92 3026 Doctorant.e Mail
Régis-Gianas Yann 01 57 27 90 84 3028 Maître de conférence Mail
Rozière Paul 01 57 27 92 57 3057 Maître de conférence Mail
Ruet Paul 01 57 27 92 48 3023 Chargé.e de recherche - CNRS Mail
Saurin Alexis 01 57 27 93 37 3040 Chargé.e de recherche - CNRS Mail
Sozeau Matthieu 01 57 27 94 15 3019 Chargé.e de recherche - INRIA Mail
Tasson Christine 01 57 27 93 37 3040 Maître de conférence Mail
Treinen Ralf 01 57 27 92 44 3021 Professeur.e Mail
Vial Pierre 01 57 27 92 92 3026 Doctorant.e Mail
Vouillon Jérôme 01 57 27 92 58 3022 Chargé.e de recherche - CNRS Mail
Zacchiroli Stefano 01 57 27 94 15 3019 Maître de conférence Mail
Zimmermann Theo 01 57 27 92 28 3034 Doctorant.e Mail
de Rauglaudre Daniel 01 57 27 90 86 3030 Informaticien.ne Mail