photo in portrait mode

Email: Claire.David{at}u-pem.fr

Bureau: 4B047

Addresse: Laboratoire d'informatique de l'Institut Gaspard Monge (UMR 8049)
Cité Descartes
5, boulevard Descartes
Champs-sur-Marne
77454 MARNE-LA-VALLEE Cedex 2
France

Téléphone: +33 (0)1 60 95 77 19

Fax: +33 (0)1 60 95 75 57


Depuis septembre 2010, je suis maître de conférence au sein de l'équipe Algorithmique du Laboratoire d'informatique de l'Institut Gaspard Monge.

Entre 2008 et 2010, j'étais post-doc dans l'équipe de bases de données de l'université d' Edimbourg avec Leonid Libkin.

Entre 2004 et 2008, j'ai effectué ma thèse dans l'équipe Modélisation et Vérification du LIAFA sous la direction d'Anca Muscholl (LABRI) et de Luc Segoufin (Inria Futur).

Les travaux de ma thèse portent sur l'étude de formalismes de description de langages de mots et arbres dits « de données » (étiquetés par un alphabet infini) et les liens avec les questions de spécification de schémas dans le contexte des bases de données semi-structurées (XML).

Après ma thèse, j'ai passé deux années dans l'équipe de bases de données de l'université d'Édimbourg. J'ai continué à m'intéresser à ces questions de spécification de langages de données tout en mettant à contribution mes connaissances en matière de logique, automates et arbres afin de développer les outils théoriques propres aux bases de données semi-structurées en participant activement au projet européen FoX.