I am currently working in the Atlas Project-Team on Probabilistic Databases ProbDB and on Information Sharing in P2P Systems P2PRec.

In my office, working very hard...

Address :	LIRMM, UMR 5506 161, rue Ada 34392 Montpellier cedex 5 - France
Mail :	verger[at]lirmm.fr
Telephone :	(+33)4 67 41 97 27
Fax :	(+33)4 67 41 85 00

The Quantified Constraint Satisfaction Problem (QCSP) is a generalization of the Constraint Satisfaction Problem (CSP) in which variables are either existentially or universally quantified. During my PhD (in french here), I worked on modeling and solving QCSPs among the Coconut team. My PhD supervisor was Christian Bessiere.

• Laboratoire d'Informatique, de Robotique et de Microelectronique de Montpellier (LIRMM), the place where I work.
• The Coconut Team, a team working on AI field. Research interests concern reasoning models, constraint programming and machine learning. Coconut is also the name of a work group, where most members come from Montpellier, but some of them are in Nantes, Caen...