photo in portrait mode

Email: Claire.David{at}

Room: 4B132

Address: Laboratoire d'informatique de l'Institut Gaspard Monge (UMR 8049)
Cite Descartes
5, boulevard Descartes
77454 MARNE-LA-VALLEE Cedex 2

Phone: +33 (0)1 60 95 77 19

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

I now have a full-time academic position in the algorithmics research team in the Institut Gaspard Monge.

Between October 2008 and September 2010 I was post-doc in the database group at the University of Edinburgh.

Between 2004 and 2008, I did my PhD in the verification team of LIAFA under the direction of Anca Muscholl (LABRI) and Luc Segoufin (INRIA futur).

Other activities