Sylvain Salvati

Professeur des universités CNU : SECTION 27 - INFORMATIQUE

sylvain.salvatiuniv-lille.fr

0328778567 et 0359358706

M3 334 et INRIA B214

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

Rechercher