Before beginning his PhD J-M. Lagniez got a post-graduate degree in
the Department of Algorithmic for inference and decision of
Informatics Graduate School of Artois University (Lens,
France). Afterwards, he worked as a PhD student at the Centre de
Recherche en Informatique de Lens (CRIL Laboratory, Research Centre in
Informatics in Lens, Artois University, France), directed by Pr É. Grégoire.
His research projects focused on the combination of local
search and bactracking search (in SAT and CSP) and in the improvement
of the resolution of SAT problem with CDCL solver (in the sequential
and parallel frames), under Pr L.
Saïs' (Professor in computer science in Faculty of
Sciences Jean-Perrin in Lens), Pr G.
Audemard' (Professor in computer science in Lens
IUT) and Pr B.
Mazure' direction (Professor in computer science in Faculty of
Sciences Jean-Perrin in Lens) direction.
Afterthat, he hold a post-doctoral position in the Institute for Formal Models and Verification (Johannes Kepler University Linz, Austria) under Pr A. Biere's direction. Then, in 2013, he hold a post-doctoral position in the Centre de Recherche en Informatique de Lens under Pr É. Grégoire's direction.
In 2014, Jean-Marie Lagniez joined the IUT de Lens as an associate professor.