Portrait Estelle Cognacq à gauche - © Christophe Abramowitz - Radio France / Portrait Ioana Manolescu à droite - ©Ioana Manolescu Culture and society Fact checking: using artificial intelligence to help journalists 06/02/2024
Formal calculation Certifying the correctness, security and reliability of software: Swarn Priya wins L'Oréal-UNESCO 2023 prize 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 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 years, eight active consortia and seamless adaptability to software diversity 29/09/2021