Laboratoire spécification et vérification

Laboratoire spécification et vérification

Le Laboratoire Spécification et Vérification (LSV) est le laboratoire d'informatique de l’École normale supérieure Paris-Saclay et affilié au Centre National de la Recherche Scientifique (CNRS) en tant qu'UMR 8643.

UMR 8643

Bâtiment Nord - Niveau 1
4, avenue des Sciences
91190 Gif-sur-Yvette
Tel. +33 (1) 81 87 54 54

Organisation

  • Directrice : Patricia.BOUYER [at] ens-cachan.fr (Patricia BOUYER DECITRE)
  • 25 enseignants-chercheurs ou chercheurs, 11 membres associés ou temporaires, 24 doctorants, 6 personnels administratif et technique et 1 membre LSV détaché.

Recherche

Le LSV consacre ses recherches à la vérification des systèmes critiques et embarqués, des bases de données et des protocoles de sécurité.
Il développe les fondements mathématiques et algorithmiques nécessaires à la conception de logiciels en vue d'automatiser les preuves de correction et la détection d'erreurs.

6 axes de recherche

  • DAHU : bases de données et vérification
  • DEDUCTEAM : vérification de preuves
  • INFINI : algorithmique de la vérification symbolique
  • MEXICO : interaction et concurrence
  • SECSI : sécurité des systèmes d’information
  • VASCO : vérification et synthèse de systèmes complexes.


Partenariats

Certaines recherches sont menées conjointement avec l’INRIA via des équipes communes.