Guillaume's Page

About me...

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.

Contact

A nice picture of me ;)
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

Links

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