Page personnelle de Daniel Le Berre

Maître de Conférences Centre de Recherche en Informatique de Lens Faculté Jean Perrin, Université d'Artois Rue Jean Souvraz SP18, 62307 Lens Cedex Tél: +33 (0)3 21 79 17 88 Fax: +33 (0)3 21 79 17 70 Mél: leberre@cril.univ-artois.fr http://www.cril.univ-artois.fr/~leberre clé publique/public key

 
 
Bref 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.

Undergraduate studies at the Université de Bretagne Occidentable (UBO), Brest (Brittany). PhD thesis defended in January 2000, at IRIT, Université Paul Sabatier, Toulouse III in the Plausible reasoning, Decision and Proof methods research group, supervised by Michel Cayrol. Research associate at the University of Newcastle, Australia, from march 2000 to august 2001. Lecturer at the faculté Jean Perrin since september 2001.

Mes activités actuelles/My current interests: SAT Live!, SAT4J, SAT Competition, Alloy4Eclipse, Master Pro ILI.