Project-team GEOMERIX Geometry-driven Numerics The Inria project-team GeomeriX is devoted to the development of predictive computational tools...
Project-team BENAGIL Efficient and safe distributed systems The Benagil team studies how to design more efficient and safer distributed systems with a focus on...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team EX-SITU Extreme Situated Interaction ExSitu explores the limits of interaction — how extreme users interact with technology in extreme...
Project-team DATASHAPE Understanding the shape of data DataShape is a research project in Topological Data Analysis ( TDA ), a recent field whose aim is to...
© Paris-Saclay SPRING 16–17 May 2024 Startup Studio Meet Inria at the 7th Paris-Saclay SPRING on May 16 and 17, 2024
© Peterschreiber.media sur Stock Adobe Life sciences Using mathematics to understand biological ageing 02/04/2024
© RandOpt - CMA-ES Optimization CMA-ES: optimization software for biology, medicine and engineering 18/03/2024
© Inria / Photo C. Morel Jobs Marie Skłodowska-Curie Actions Postdoctoral Fellowships: 2024 Inria Hosting Offers 06/02/2024
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
© Mind - Read figure legend at bottom of article Neuroscience and cognitive science A language for improving the evaluation of brain activity 07/09/2023