Daniel Le Berre Professeur des universités

Brève bio: premier et second cycle universitaire a l'Université de Bretagne Occidentable (UBO), Brest (Bretagne). Troisième cycle universitaire à l'Université Paul Sabatier, Toulouse III, Midi Pyrénées sous la direction de Michel Cayrol, à l'IRIT, équipe Raisonnement Plausible, Décision et Méthodes de Preuve. Thèse de doctorat intitulée Autour de SAT: le calcul d'impliquants P-restreints, algorithmes et applications soutenue le 12 janvier 2000. Assistant de recherche dans le laboratoire de recherche Business and Technology dirigé par Mary-Anne Williams, à l'Université de Newcastle, Australie, de mars 2000 à août 2001. Maître de conférences à la faculté Jean Perrin depuis septembre 2001. Habilité à diriger les recherches depuis le 3 décembre 2010 (diapos). Professeur des universités depuis septembre 2013.

• Sat4j
• JSAT
• Pragmatics of SAT
• SAT Live!
• SPECIF Campus
• Le Master 2 ILI
• Le CRIL
• L'Université d'Artois
• Le CNRS (INS2I)
• CSI INS2I

Coordonnées

Enseignement

• Génie Logiciel 1 (Master 1) UML
• Génie Logiciel 2 (Master 1) TDD Patrons de conception Reconception Agilité
• Java pour l'internet (Master 2) Servlet JSP JSTL Struts2 JDBC

• Initiation Réseau (Licence 1) TCP/IP Réseaux locaux
• Architecture Logicielle (DUT2) Patrons de conception Programmation évènementielle en Java (Swing) Travail collaboratif (git)
• Projet 2 (Licence 3) POO Tests fonctionnels Travail collaboratif (git)

Recherche

Mes travaux se situent dans le cadre de l'Intelligence Artificielle, et plus particulièrement autour des thèmes suivants: SAT MAXSAT Optimisation Pseudo-Booléenne QBF Raisonnement non monotone Logiques modales

Je m'intéresse aussi à l'utilisation des solveurs de contraintes dans le cadre du génie logiciel.

Doctorants/PhD students

• Anthony Blomme (2020-)
• Gökhan Tahil (2020-)
• Romain Wallon (2017-2020)
• Valentin Montmirail (2015-2018)
• Emmanuel Lonca (2011-2015)
• Florian Letombe (2002-2005)

Projets/Grants

• 2016/2020 ANR SAT As a Service (SATAS)
• 2016/2017 CSPSAT 3 (with Kobe University, Japan)
• 2012/2014 ANR Business Recommendation for Configurable Products - BR4CP
• 2011/2014 ANR TUPLES
• 2006/2007 PAI PESSOA MUSICA (with INESC)
• 2005 Action integree Luso Francaise de la CPU (PB05, with INESC)
• 2003 Action integree Luso Francaise de la CPU (OpenSAT, with INESC)
• 2003 Action Specifique STIC-CNRS (ASQBF, with LRI)

Comités/Committees

Menbre nommé

Conseil Scientifique d'Institut de l'INS2I (CSI INS2I)

Membre de comité éditorial/editorial board member

Journal on Satisfiability, Boolean Modeling and Computation (JSAT)

Advisory Commitee

Star Exec

Technology Council

OW2

Présentations invitées / Invited talks

• IoT week 2021
• From satisfaction to optimization, and beyond: SAT-based guided problem solving SAT+SMT 19
• From clauses to pseudo-Boolean constraints in a Boolean solver SAT+SMT 19
• SAT Oracles, for NP-Complete Problems and Beyond SLPC'19
• Solvers Evaluation with Olivier Roussel ACAI'15
• From Boolean Satisfaction To Boolean Optimization: Application To Dependency Management, Learning and Intelligent OptimizatioN Conference
• Introduction to SAT, Fourth SAT/SMT summer School, Semmering
• Solvers and tools to tackle problems in propositional logic Centre Fédéré en Vérification, Bruxelles
• Survey on integrating cutting planes in CDCL solvers @ BIRS workshop 14w5101
• SAT and friends: a single engine for many purposes @ KTH
• Integrating cutting planes in a modern SAT solver @ KTH
• Software dependency management: from p2 to p2cudf (LoCoCo 2011)
• SAT4J: pseudo-boolean optimization and dependency management problems (SAT/SMT summer school @ MIT 2011)
• A brief introduction to practical SAT solving: what can I expect from SAT today? (Workshop on SAT solving, Tuebingen)
• Lecture on SAT (part1, part2) (Summer School 2009: Verification Technology, Systems & Applications)
• Some Applications of SAT, SAT assessing the progress, Baltimore, 2008 (report)

Comités de programme/Program committees

Solver competitions

De 2002 à 2011, j'ai participé à tous les évènements compétitifs sur SAT, soit comme co-organisateur (2002-2005, 2007, 2009 et 2011) soit comme expert (2006, 2008 et 2010). Pour plus d'informations, voir le site de la compétition SAT.

Je maintiens un site web dédié au problème SAT appelé/I maintain a web site dedicated to SAT called SAT Live!.

Publications

Vous pouvez accéder à la liste complète de mes/You can take a look at all my publications

Logiciels

Je m'attache à ce que mes travaux de recherche ou les projets de mes étudiants aboutissent sous la forme d'un logiciel, diffusé idéalement sous une licence libre afin d'en favoriser l'utilisation par des tiers.