Awards & nominations

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

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

Congratulations to André Seznec who receives this new award, proof of his expertise in the field of microprocessor architecture. André Seznec - Inria researcher, formerly head of the Architecture department at IRISA and member of the PACAP team - has been conducting research on microprocessor architecture for 40 years. He designed and built a first prototype of a matrix computation gas pedal. Then [..]

The Valorisation trophies of the Rennes Innovation Campus reward Bruno ARNALDI, Valérie GOURANTON (INSA teacher-researchers) and Florian NOUVIALE (INSA research engineer) for the Xareus software, a tool to help the programming of virtual reality applications. A simplification that allows to graphically program a scenario or to display the possible interactions between compatible virtual objects [..]

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

The Minerva Informatics Equality* prize was awarded on Tuesday, October 25 to IRISA's Gender Equality and anti-harassment committees This prize rewards all the work and actions implemented by these two committees: the Gender Equality Committee created to encourage and support women's careers in computer science research and teaching. And the anti-harassment commmittee(founded after the first one) [..]

Congratulations to Quentin le Dilavrec, Djamel Eddine Khelladi, Arnaud Blouin and Jean-Marc Jézéquel for the ACM SIGSOFT Distinguished paper Award Congratulations to Quentin Le Dilavrec (Phd student, Université de Rennes 1), Djamel Eddine Khelladi (research CNRS), Arnaud Blouin (Associate professor, INSA Rennes) et Jean-Marc Jézéquel (Professor, Université de Rennes 1) who received the ACM SIGSOFT [..]

Congratulations to Adrien Gougeon (Phd Student ENS Rennes), François Lemercier (associate professor CNRS), Anne Blavette (researcher CNRS, SATIE), Anne-Cécile Orgerie (research director CNRS), members of the research team Myriads, for their article "Influence of Communication Technologies in Smart Grid Power Congestion Management" for which they received a Best paper Award at 18th IEEE [..]