معرفی
Jean-Marie Lagniez is an Associate Professor at the IUT de Lens, Université d'Artois, France. He holds a post-graduate degree in Algorithmic for Inference and Decision from the Informatics Graduate School of Artois University and completed his PhD at the CRIL Laboratory (Centre de Recherche en Informatique de Lens). His research focuses on integrating local search and backtracking methods in SAT and CSP, improving CDCL solvers, and model counting. He has held postdoctoral positions at the Institute for Formal Models and Verification (Johannes Kepler University Linz, Austria) and CRIL. His work spans constraint programming, artificial intelligence, and formal logic.
Education:
- Post-graduate degree in Algorithmic for Inference and Decision, Université d'Artois.
- PhD in Computer Science, CRIL Laboratory, Université d'Artois.
Research Interests: Jean-Marie's research emphasizes enhancing SAT solving techniques, constraint satisfaction, model counting, and parallel computing. He explores applications in belief merging, modal logic, and algorithmic improvements for efficient problem-solving. His contributions include distributed model counters (DMC) and hybrid approaches combining local search with CDCL.
Publications: His work in 2018-2017 includes advancements in consensus-finding, distributed SAT solvers, and modal logic satisfiability, published in venues like IJCAI, CP, and AI Communications. These studies highlight his expertise in bridging theoretical foundations with practical algorithmic solutions.
