Pur produit de l 'Université d'Artois, j'ai obtenu deug Mias puis licence d'informatique et la maitrise du même domaine à la faculté Jean Perrin à Lens (Pas de Calais). Ensuite, j'ai obtenu mon DEA (aujourd'hui appelé master recherche) "système intelligent et applications" sous la direction de Pierre Marquis.

Mon stage de DEA sur "l'hybridation des méthodes de résolution pour le problème SAT", m'a tout naturellement conduit à poursuivre une thèse sur ce même sujet. J'ai soutenu cette thèse le 27 novembre 2007 à Lens à la faculté Jean Perrin, pôle scientifique de l'université d'Artois. Réalisée au sein du Centre de Recherche en Informatique de Lens (CRIL), elle a pour sujet :

"Utilisation de techniques polynomiales pour la résolution pratique d'instances de SAT".

J'ai été encadré par Eric Grégoire (Professeur et directeur du CRIL), Lakhdar Sais (Professeur au CRIL) et Bertrand Mazure (MCF au CRIL).

Retour au site du CRIL | Webmaster