Lakhdar SAIS

Professor of computer science

Centre de Recherche en Informatique de Lens
CNRS UMR 8188 &
Université d'Artois, Faculté des sciences Jean Perrin
Rue Jean Souvraz SP-18
F-62307 Lens Cedex 3, France

office : P302
e-mail : sais[at]cril [dot] univ-artois [dot] fr
home page :
phone : (+ 33) 3 21 79 17 77
fax: (+33) 3 21 79 17 70

  • Handbook of Parallel Constraint Reasoning - Editors: Hamadi, Youssef and Sais, Lakhdar (Eds.), Springer, 2018
  • QDoSSI project CNRS Mastodons 2016-2017
  • Data Mining & Constraints
  • [COSI 2019] - Colloque sur l'Optimisation et les Systèmes d'information (Juin 24-26, UMMTO, Tizi-Ouzou - Algerie)
  • [ANR project POSTCRYPTUM] - Algebraic cryptanalysis for post-quantum cryptography (2021-2023)
  • Short biography

    Lakhdar Sais obtained an engineering degree in computer science in 1988 from the National Institute on Computer Science ("Université de Tizi-Ouzou", Algeria), a Ph.D ("Doctorat") in 1993 from the "Université de Provence" (Marseille) and an "Habilitation à Diriger des Recherches" from the "Université d'Artois" in 2000. In 1994, he joined the "IUT de Lens" as a lecturer ("Maitre de conférences") at the beginning of the creation of the CRIL research center ("Centre de Recherche en Informatique de Lens"). Before his current position as a professor at CRIL-CNRS "Université d'Artois", he spent one year as a professor at IRIT «Université Paul Sabatier » (Toulouse, France). He spent two years as a researcher at INRIA Lille and CNRS. He was the leader (from 2002 - 2013) of the inference and decision process research group at CRIL. He was the Delegate director of the CRIL laboratory (2013-2018). His research focuses on search and representation problems in Artificial Intelligence. He is especially interested in propositional satisfiability, quantified boolean formula, constraint programming and operation research, knowledge representation and reasoning, data mining, AI & Social and Human Sciences.


    Books & Awards