Formal calculation Certifying the correctness, security and reliability of software: Swarn Priya wins L'Oréal-UNESCO 2023 prize 09/10/2023
Opensource The open-source software library CGAL is taking computational geometry research into the world of industry 09/10/2023
©Collège de France - Patrick Imbert Awards & Honours Xavier Leroy appointed to the French Academy of Sciences: a life devoted to computing 21/02/2023
© Inria / Photo C. Morel Opensource RISC-V open-source microprocessor: what are the opportunities for software engineering and security research? 10/10/2022
© Inria / Photo B. Fourrier Awards & Honours CompCert software program receives a prestigious award 29/06/2022
© Inria / Photo C. Morel Opensource InriaSoft: three years, eight active consortia and seamless adaptability to software diversity 29/09/2021
