All the news

The CompCert compiler has been awarded from the prestigious Association for computing machinery (ACM), for the second time CompCert is the first multi-architecture optimising compiler used in industry with a mathematical proof of correctness verified by computer. Developed by several researchers*, including Sandrine Blazy, Professor at the Université de Rennes, Deputy Director of IRISA and member [..]

When the press and the media talk about IRISA, they talk about artificial intelligence, data sciences, cybersecurity, virtual reality, energy, robotics .... To read or re-read

Shadi Ibrahim, an Inria researcher in the Myriads team, was named as “ACM Distinguished member” at the end of december 2022 for outstanding scientific contributions to computing. ACM (the Association for Computing Machinery), World’s Largest Computing Society Honors 2022 Distinguished Members for Ground-Breaking Achievements and Longstanding Participation. ACM has named 67 Distinguished Members [..]

At the beginning of 2023, our scientists welcomed the CNPEN - Comité National Pilote d'Ethique du Numérique - to present their research in the field of metavers The CNPEN is the pilot national committee for digital ethics, under the aegis of the CCNE (national consultative committee for ethics). Its role is to enlighten the public debate on the ethical issues of the digital age and to draft [..]

Inria pays tribute to Olivier Commowick, who passed away on 24 December 2022. Olivier Commowick, Inria researcher, defended his thesis in 2007 in the Asclepios project-team at Sophia, then did a post-doc at the Harvard Medical School before joining the Inria centre at the University of Rennes, within VISAGES and then Empenn. On December 24, 2022, Olivier left us at the end of an illness that he [..]

(in french only ) Un des principes moteurs de l’Internet est son « ouverture », ou sommairement son accès équitable pour tous à tous les services. Cette notion de « neutralité du Net » est vivement débattue à travers le monde depuis plus de 20 ans, et souvent considérée comme un acquis. Mais l’évolution des réseaux de communication pose de nouveaux défis pour ce principe fondateur. Doit-il être [..]

Congratulations to Claudio Pacchierotti, winner of the CNRS bronze medal On Tuesday 29 November 2022, the CNRS Talents 2022 ceremony was held to reward those who contribute to the influence and progress of research. Congratulations to C laudio Pacchierotti, CNRS researcher in the Rainbow team, specialist in tactile haptics and portable interfaces. Claudio Pacchierotti's work focuses on the use of [..]