Recherche
Thème de Recherche:
-
Outils et techniques pour la vérification de logiciels.
Domaines de Recherche et d'Intérêt:
-
Systèmes de Preuve et Applications,
-
Lambda Calcul,
-
Théorie des Types
-
Logiques
-
Programmation Fonctionnelle
-
Vérification et Certification de logiciels
-
Model Checking
-
Abstration de Modèles
Pourquoi ne pas jeter un oeil sur la page de l'école d'été
APPSEM'2000?
(c) Simão
Melo de Sousa 1999