I defended my PhD thesis in december, 2008! You can download the final version in french here.

During my PhD, I worked on modeling and solving Quantified Constraint Satisfaction Problems (QCSPs). The QCSP is a generalization of the CSP in which we allow universally quantified variables.
I am a member of the Coconut team. My PhD supervisor was Christian Bessiere.

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 86 38
Fax :	(+33)4 67 41 85 00

• 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...