Daniel Le Berre, lauréat de la médaille de l’innovation CNRS 2018 et Emmanuel Lonca

Daniel Le Berre, professeur des universités au Centre de recherche en informatique de Lens (CRIL), créateur du logiciel libre Sat4j et lauréat de la médaille de l’innovation CNRS 2018 et Emmanuel Lonca, ingénieur du laboratoire. Enseignant-chercheur en informatique dans le domaine de l’intelligence artificielle, en particulier la conception et l’évaluation d’algorithmes pour l’inférence et la prise de décision, Daniel le Berre crée en 2004 Sat4j, qui propose un ensemble d’outils de raisonnement en variables booléennes pour le langage Java. Sat4j intègre en 2005 le consortium ObjectWeb (aujourd'hui OW2), qui promeut le développement d’intergiciels libres, et dont il devient l’un des logiciels phares. En 2008, Sat4j intègre la plateforme ouverte Eclipse, atelier logiciel destiné à la production de logiciels libres.