 |
Lakhdar SAIS Professor of computer science Centre de Recherche en Informatique de Lens office : P302 |
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). Currently, he is leading the inference and decision process group at CRIL. His research focuses on search and representation problems in Artificial Intelligence. He is especially interested in proposional satisfiability, quantified boolean formula, constraint satisfaction problems, knowledge representation and reasoning.
|
Books & Awards
- Best paper award, [pdf] Learning for Subsumption International Conference on Artificial Intelligence Tools (ICTAI'2009) with Y. Hamadi and S. Jabbour
- Y. Hamadi, S. Jabbour and L. Sais. ManySAT, First rank (Jury special price), International SAT 2009 competition (Parallel Track) in Application category, June 30 - July 3, 2009, Swansea, Wales, United Kingdom
- Y. Hamadi, S. Jabbour and L. Sais. LySAT , Two bronze medal,International SAT 2009 competition (Sequantial Track) in Application category (SAT-UNSAT and UNSAT), June 30 - July 3, 2009, Swansea, Wales, United Kingdom
-
Y. Hamadi, S. Jabbour and L. Sais. ManySAT: a parallel SAT solver, First rank at the SAT Race 2008 competition (Parallel Track),
China, May 2008 -
SAT Book (in French) L. Sais. Problème SAT : Progrès et Défis,
Hermes Publishing Ltd, May 2008