Lionel • Vaux
Maître de Conférences (MCF H) • Affiliation : Aix-Marseille Université (AMU)
Site : Luminy • Bureau : 234 • Etage du bureau : 2 •
Groupe AGLR
Responsable de l’équipe LdP (Logique de la Programmation)
Groupe(s) scientifiques(s) de l'utilisateur :
Thématiques scientifiques :
- Informatique théorique, calculabilité
- Logique
- Mathématiques discrètes
Publications HAL