Sylvain Salvati
Professeur des universités
CNU : SECTION 27 - INFORMATIQUE
Laboratoire / équipe
Composantes, facultés
Spécialité
Méthodes formelles, lambda-calculs typés, langages formels, logique, mathématiques du langage
Domaines de recherche
Données et calcul