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 / équipe
- Composantes, facultés
-
Domaines de recherche
Données et calcul
