Salle Cluster contenant les instruments informatiques mutualisés du CRIL

Salle Cluster contenant les instruments informatiques mutualisés du Centre de recherche en informatique de Lens (CRIL), où travaille Daniel Le Berre, créateur du logiciel libre Sat4j et lauréat de la médaille de l’innovation CNRS 2018. 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, il 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 (maintenant 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.