News

18/02 | Nouveau site SPI

Thèmes de recherche de SPI

Le thème SPI (pour Sémantique, Preuve et Implantation) est une équipe de chercheurs en programmation.
Le nom même du thème reflète les trois composantes essentielles de nos activités de recherche :

  • la recherche en sémantique pour fixer le sens des formalismes et des langages employés;
  • le développement de preuves certifiant la non-inanité des composants réalisés;
  • l'implantation aussi bien de langages de spécification que de langages de programmation et d'outils d'aide à la preuve.

Le projet Focal, mené conjointement avec le CNAM et l'INRIA, est actuellement le projet principal du thème SPI.