L'url de cette page a bien été copiée dans votre presse-papier!
Reference
20180096_0005
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.
The use of media visible on the CNRS Images Platform can be granted on request. Any reproduction or representation is forbidden without prior authorization from CNRS Images (except for resources under Creative Commons license).
No modification of an image may be made without the prior consent of CNRS Images.
No use of an image for advertising purposes or distribution to a third party may be made without the prior agreement of 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.
