Rechercher

Paramétrage

Thèmes

Accessibilité

Accessibilité

Sylvain Salvati

Professeur des universités CNU : SECTION 27 - Informatique
0328778567 et 0359358706
M3 334 et INRIA B214
Composantes, facultés
  • Faculté des Sciences et Technologies
    • FST - Département Informatique
 Spécialité Méthodes formelles, lambda-calculs typés, langages formels, logique, mathématiques du langage Domaines de recherche Données et calcul

Présentation