Je suis en délégation CNRS au LIFL, dans l'équipe INRIA Spirals (ex ADAM), pendant l'année universitaire 2013/2014.

Coordonnées

CRIL-CNRS UMR 8188
Université d'Artois
Faculté des sciences Jean Perrin
Rue Jean Souvraz SP18
62307 Lens Cedex
Téléphone : +33 (0)3 21 79 17 88
Fax : +33 (0)3 21 79 17 70
leberre at cril dot fr

Enseignement

Depuis la création du Master Professionnel Ingénierie Logiciel pour l'Internet, j'assure la majorité de mes enseignements en master, sur les thématiques du génie logiciel, de la programmation et conception orientée objet et la création d'applications d'entreprise en Java.

Recherche

Je m'intéresse a la résolution automatique de problèmes de décision et d'optimisation en logique propositionnelle.

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

Etudiants/PhD students

Projets/Grants

Comités/Committees

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

Comités de programme/Program committees

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005 and before

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

DBLP Google Scholar

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.