 |
 |
Maître de Conférences
Université Paris-Saclay
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
|
