Retour au reportage Retour au reportage
20180096_0003

© Frédérique PLAS / CRIL / CNRS Images

Reference

20180096_0003

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.

CNRS Institute(s)

Regional office(s)

Scientific topics

CNRS Images,

Our work is guided by the way scientists question the world around them and we translate their research into images to help people to understand the world better and to awaken their curiosity and wonderment.