Preuves, Programmes et Systèmes
From Wikipedia, the free encyclopedia
Cet article est une ébauche concernant l’informatique, la logique et une université.
| Fondation |
1999 |
|---|---|
| Dissolution |
janvier 2016 |
| Type | |
|---|---|
| Directeur |
Thomas Ehrhard |
| Membre de | |
| Site web |
| Pays | |
|---|---|
| Ville |
Preuves, Programmes et Systèmes (PPS) est une unité mixte de recherche[1] (UMR 7126) de logique informatique appartenant à l'université Paris-Diderot et au Centre national de la recherche scientifique dont le directeur est Thomas Ehrhard. Elle est rattachée à l'Institut des sciences informatiques et de leurs interactions (INS2I) et à l'Institut de sciences mathématiques et de leurs interactions (INSMI) du CNRS. En , le Laboratoire d'informatique algorithmique : fondements et applications et l'unité de recherche Preuves, Programmes et Systèmes fusionnent pour former l'Institut de recherche en informatique fondamentale (IRIF)[2].
Les recherches du laboratoire sont principalement axées sur les fondements logiques des langages de programmation et des systèmes distribués. Ainsi de très variés et nombreux domaines de recherche : théorie de la démonstration, théorie des catégories, homologie, homotopie, probabilités.
