All the news

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

[Award] Congratulations to Sandrine Blazy, professor at the University of Rennes and member of the EPICURE team, who has been awarded the CNRS silver medal. Sandrine Blazy's research focuses on the development of secure software. Her contribution focuses on the IT tools that enable a written programme to become executable: compilers.

Congratulations to DIVERSE team for their best paper award at MODELS, the ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems Congratulations to Olivier Barais (Professor at the University of Rennes), Benoit Combemale (Professor at the University of Rennes), Jean-Marc Jézéquel (Professor at the University of Rennes), Mathieu Acher (Professor at INSA Rennes) [..]

ICT & Sustanabilty Discover the OFF! Program events taking place in the city of Rennes and on the Beaulieu campus: - conference by Jean Jouzel - conference by Hugues FerreBoeuf/The Shif Project - artistic performances at the Diapason - debate in a pub in the city - round table with industrialists, political decision-makers and researchers Don't wait any longer, discover this attractive programme [..]

For the first time, ICT4S is organised in France, in Rennes, from 5 to 10 June 2023 ICT4S - The I nternational C onference on Information and Communications T echnology for S ustainability - is an annual international conference devoted to covering all types of research, developments, and applications of ICT to support sustainability. The conference, crossroads of new technologies and sustainable [..]

Congratulations to Sandrine Blazy, Professor at Université de Rennes, specialist in software science and deputy director of IRISA. Sandrine Blazy's research is aimed at the development of secure software. Her contribution focuses on the computer tools that allow a written program to become executable: compilers. Read more on the CNRS website © Jean-Claude MOSCHETTI - CNRS-Photothèque

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

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