Lan Nguyen Phuong

Titres, fonctions et responsabilités: 
  • Maître de conférences

Diplômes:

« Un système déclaratif de types pour Prolog »
Doctorat en informatique Institut National Polytechnique de Grenoble, 1992.

Domaines de recherche

 Implémentation des langages de programmation logique et avec contraintes.  

Mots-clés: 
Compilation
Gestion de mémoire
Prolog
Programmation par contraintes
Multicore programming