Français Anglais
Accueil Annuaire Plan du site
Présentation
M. NGUYEN Kim
NGUYEN Maître de Conférences
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel : 01 69 15 64 50
Fax :
Bureau : 34/PCRI-S

Page personnelle : www.lri.fr/~kn/
Courrier électronique : Kim.Nguyen@lri.fr

Activités de recherche
   - Langages et systèmes centrés données
   - Compilation et optimisation des programmes

Publications




Responsabilités administratives
   - Membre de la commission Web


Résultats majeurs
   - Static and Dynamic Semantics of NoSQL Languages, Accepted at ACM POPL 2013, Véronique Benzaken, Giuseppe Castagna, Kim Nguyễn, Jérôme Siméon .
   - Optimizing XML querying using type-based document projection Article@ACM Transactions on Database Systems (TODS) V. Benzaken, G. Castagna, D. Colazzo, K. Nguyễn

Logiciels et brevets
   - CDuce : CDuce an XML centric Functional Programmimg Language


Thèses et habilitations
Doctorat   - Langage de combinateurs pour XML : conception, typage, implantation

Participations à des contrats
   - Typex