Publications
Photo Responsable

Thème de recherche SPI - Sémantiques, preuves et implantation


Responsable : Thérèse Hardin

Brève présentation

Le thème SPI (Sémantique, preuves et implantation) s'intéresse à la certification des systèmes logiciels, aux langages de spécification et de programmation (répartition et synchronisme). Les applications visent les systèmes traditionnellement très critiques. Le thème aborde également des questions d'informatique fondamentale dans le domaine de la sémantique.

ATTENTION : L'organisation en thèmes n'existe plus depuis 2006, voir maintenant dans les équipes.

Mentions légales