All the news

Congratulations to George Giakkoupis, who received the Best Paper Award at the PODC conference. George Giakkoupis is an Inria researcher in the research team WIDE. this prize was awarded in recognition of his article "Word-Size RMR Trade-offs for Recoverable Mutual Exclusion", co-authored with David Yu Cheng Chan and Philipp Woelfel. PODC is the leading international conference on distributed [..]

Congratulations to Aïmad BERADY whose thesis was awarded the "Jury's Special Prize" at the 2023 National Gendarmerie Prize - Research and strategic thinking For several years now, the Gendarmerie has been awarding prizes for research and strategic thinking , with the aim of highlighting the authors of works and publications on issues of interest to the Gendarmerie Nationale, internal security or [..]

After the Google Hall of Fame, Mohamed Sabt and Gwendal Patat make their appearance in the Firefox Hall of Fame Congratulations to Mohamed Sabt , Senior Lecturer at the University of Rennes and Gwendal Patat, PhD student at the Université de Rennes, both members of the Spicy research team, who are being inducted into the prestigious Firefox Hall of Fame for their important contribution to web [..]

Within the framework of the synchronized recruitment campaign 2023 for junior or senior faculty members, IRISA is a host laboratory for 12 MCF or PR positions , in association with partner training components. Consult the page

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 [..]

(in french only) Plutôt que de réparer incessamment des failles de sécurité une fois qu’elles ont été exploitées par un attaquant, il est possible de réduire ces risques en aidant les cryptographes à les détecter en amont grâce à des outils de vérification de protocoles. C’est l’objet des recherches en cybersécurité d'une équipe de scientifiques* dont les travaux ont été récompensés par un [..]