Welcome to my homepage

I've been since October 2008 PhD in the Centre de Recherche en Informatique de Lens (CRIL)(CRIL CNRS UMR 8188), which is a laboratory of Université d'Artois. My research topic is "Algorithmic for inference and decision process".

My PhD subject is "Local search for SAT and UNSAT" under Lakhdar Saïs' (Professor in computer science in Faculty of Sciences Jean-Perrin in Lens), Gilles Audemard' (Associate professor in Computer Science in Lens IUT) and Bertrand Mazure' direction (Associate professor in Computer Science in Faculty of Sciences Jean-Perrin in Lens).

Contact

  • Jean-Marie Lagniez
    CRIL-CNRS UMR8188 – Université d'Artois
    Faculté des Sciences Jean Perrin – Rue Jean Souvraz – SP 18
    F-62307 LENS Cedex (France)
  • Office: D309
  • Email: lagniez@cril.univ-artois.fr
  • Phone: +33 (0)3 21 79 17 87
  • Fax: +33 (0)3 21 79 17 70
  • Web: http://www.cril.fr/~lagniez/