معرفی
Daniel Le Berre is a Professor at the Faculty of Sciences Jean Perrin within the University of Artois. His academic journey includes undergraduate and graduate studies at the University of Western Brittany (UBO), Brest, and a doctoral thesis on propositional logic at Paul Sabatier University, Toulouse III. He transitioned from a Research Assistant at the University of Newcastle, Australia (2000-2001) to a Lecturer at Jean Perrin Faculty since 2001, becoming a University Professor in 2013.
- Education
- Undergraduate & Graduate: University of Western Brittany (UBO), Brest
- Doctorate: Paul Sabatier University, Toulouse III (thesis: "Around SAT: the calculation of P-restricted implicants, algorithms and applications", defended 2000-01-12)
His research focuses on Artificial Intelligence and Propositional Logic, particularly in SAT, MAXSAT, Pseudo-Boolean Optimization, QBF, Non-monotonic reasoning, and Modal logics. He also explores constraint solvers in software engineering. His recent work trends include:
- SAT-based CEGAR methods for Hamiltonian cycle problems
- Pseudo-Boolean optimization proof logging
- Research software policy (CODE beyond FAIR, University of Artois Forges analysis)
- Compressed UNSAT CDCL trees with caching
Daniel contributes to academic governance as a member of the Scientific Council of the INS2I Institute (CSI INS2I) and the editorial board of the Journal on Satisfiability, Boolean Modeling and Computation (JSAT). He has supervised notable doctoral students including Romain Wallon (2017-2020) and Valentin Montmirail (2015-2018). His lab CRIL-CNRS UMR 8188 serves as a hub for his research.
