Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...
Project-team CAPSID Computational Algorithms for Protein Structures and Interactions The Capsid team develops algorithms and software to help study biological systems and phenomena from...
Project-team PASTA Space-time random processes and applications PASTA Spatio-Temporal stochastic processes and their applications PASTA is a joint research team...
Project-team COAST Web Scale Trustworthy Collaborative Service Systems The advent of the Cloud, of smart mobile devices and of service-based architecture has opened a...
Project-team CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Our research addresses the broad application domain of cryptography and cryptanalysis from the...
© Photo de Patrick Tomasso sur Unsplash Open science/Open Access LibScience - opening up and sharing knowledge 06/02/2024
© Inria / Photo C. Morel Jobs Marie Skłodowska-Curie Actions Postdoctoral Fellowships: 2024 Inria Hosting Offers 06/02/2024
© Blender Foundation / Inria Computer graphics The tale of a groundbreaking 3D design technique 15/11/2023
Press release Inria and Université de Lorraine reinforce their collaboration to the start of “Inria Centre at Université de Lorraine” 22/09/2023
CC BY 2.0 DEED – S. Kaech, G. Banker, OHSU, Oregon, USA. Neuroscience Neuronal diversity: a possible antidote to neurological diseases? 25/10/2023
Opensource The open-source software library CGAL is taking computational geometry research into the world of industry 09/10/2023
© Source : gallica.bnf.fr / Bibliothèque nationale et universitaire de Strasbourg Machine learning Apollon - seeking to unpack Aristotle’s Politics 23/08/2023