Gilles Audemard is a Professor at the Universite d'Artois. His research interests are satisfiabilty, quantified boolean formulas, SAT based problems and constraint satisfaction problems.