Awards & nominations

Deborah Agarwal, sponsored by Christine Morin, Inria research director and Guillaume Pierre, professor at the University of Rennes, receives the insignia of Doctor Honoris Causa from the University of Rennes Deborah Agarwal is an internationally recognized expert in the field of Data Science for Science. She is a Senior Scientist at the prestigious Lawrence Berkeley National Laboratory (LBNL) at [..]

Congratulations to Daniel De Almeida Braga who was awarded the 1st prize for his thesis Daniel De Almeida Braga did his thesis in the EMSEC research team (which gave rise to Spicy ). Title of the thesis : Cryptography in the Wild: The Security of Cryptographic Implementations Thesis supervisors : Pierre-Alain FOUQUE, Professor at the University of Rennes and Mohamed SABT Lecturer at the University [..]

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

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