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