#13 Daniel Le Berre et le logiciel libre Sat4j

Nov. 12, 2024
Duration: 00:38:21
Number of views 5
Addition in a playlist 0
Number of favorites 0
Titre de la thèse : Autour de sat : le calcul d'impliquants p-restreints, algorithmes et applications.
 
Description :

Daniel Le Berre réalise des travaux de recherche dans le domaine de l’intelligence artificielle et s’intéresse en particulier à la conception et à l’évaluation d’algorithmes pour l’inférence et la prise de décision. C’est également un passionné de génie logiciel, qu’il enseigne aux étudiants de l’université d’Artois. Mobilisant les deux facettes de son métier d’enseignant-chercheur, Daniel Le Berre étudie la résolution pratique de problèmes spécifiques au génie logiciel. Il utilise des approches à base de contraintes booléennes pour aborder la gestion des dépendances, les lignes de produits logiciels et la synthèse automatique de correctifs logiciels. Il crée en 2004 le logiciel Sat4j, qui propose un ensemble d’outils de raisonnement en variables booléennes pour le langage Java. Conçu dès le départ comme un logiciel libre pouvant être facilement réutilisable dans d’autres logiciels, Sat4j intègre en 2005 le consortium ObjectWeb (maintenant OW2), qui promeut le développement d’intergiciels libres, et s’est imposé comme l’un des logiciels phares du consortium. Sat4j totalise plus de 200 000 téléchargements depuis janvier 2006 et se classe à la 15e place des projets les plus téléchargés d’OW2. En 2008, Sat4j intègre la plateforme ouverte Eclipse, atelier logiciel destiné à la production de logiciels libres. Toutes les applications basées sur Eclipse bénéficient de l’intégration du logiciel de Daniel Le Berre. (crédits : CNRS)

Profil académique : http://www.cril.univ-artois.fr/~leberre/

Profil CNRS : https://www.cnrs.fr/fr/personne/daniel-le-berre

 Infos

  • Added by: Sylvain Regniez (sylvain.regniez)
  • Updated on: Nov. 12, 2024, 1:34 p.m.
  • Channel:
  • Type: Other
  • Main language: French