Welcome to my homepage



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 assistant professor.