Résumé
A l'occasion de la remise de la médaille de l'innovation 2018 du CNRS, retour sur le parcours de Daniel Le Berre, enseignant chercheur en informatique. Ses travaux de recherche portent sur le domaine de l'intelligence artificielle et il s'intéresse en particulier à la conception et à l'évaluation d'algorithmes pour l'inférence et la prise de décision. Il est également passionné de génie logiciel, qu'il enseigne aux étudiants de l'université d'Artois. Daniel Le Berre mobilise les deux facettes de son métier d'enseignant-chercheur en étudiant la résolution pratique de problèmes spécifiques au génie logiciel. Il a 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 évolue depuis 14 ans et est quotidiennement utilisé par des millions de personnes.
