Sylvain Salvati
Professeur des Universités - Méthodes formelles, lambda-calculs typés, langages formels, logique, mathématiques du langage
CNU : SECTION 27 - Informatique
-
Laboratoire(s) / équipe(s)
- Composante(s) de formation
-
Domaines de recherche
Données et calcul
