Rapport d’évaluation FR

LSV - Laboratoire spécification et vérification

Type : Rapport d’évaluation des unités de recherche

Campagne d'évaluation : 2018-2019 (vague E) - Publié le : 27/03/2019

Établissement(s) concerné(s) : Ecole normale supérieure Paris-Saclay , Centre national de la recherche scientifique - CNRS , Université Paris-Sud

Domaine(s) disciplinaire(s) de recherche : Sciences et technologie (ST) ; ST6 Sciences et technologies de l'information et de la communication - STIC

Domaine(s) scientifique(s) : 9 - Sciences et technologies de l'information et de la communication

Panel(s) ERC : PE6 Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Mot(s) clé(s) : méthodes formelles ; vérification ; preuves ; sécurité ; langages ; sémantique

Télécharger le fichier

Rapport Hcéres - LSV - Laboratoire spécification et vérification

(385.7 Ko) PDF