Ancienne équipe

Nothing.


Responsable


Thèmes de recherche

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


Nouvelles équipes

Équipe thématique Algèbre et calcul
Équipe thématique Analyse et conception de systèmes
Équipe thématique Preuves et programmes