The National Institute for Research in Digital Science and Technology (Inria) () is a French national research institution focusing on
computer science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
and
applied mathematics
Applied mathematics is the application of mathematical methods by different fields such as physics, engineering, medicine, biology, finance, business, computer science, and industry. Thus, applied mathematics is a combination of mathemati ...
.
It was created under the name ''Institut de recherche en informatique et en automatique'' (IRIA) in 1967 at
Rocquencourt near
Paris
Paris () is the Capital city, capital and List of communes in France with over 20,000 inhabitants, most populous city of France, with an estimated population of 2,165,423 residents in 2019 in an area of more than 105 km² (41 sq mi), ma ...
, part of
Plan Calcul
Plan Calcul was a French governmental program to promote a national or European computer industry and associated research and education activities.
The plan was approved in July 1966 by President Charles de Gaulle, in the aftermath of two key even ...
. Its first site was the historical premises of
SHAPE
A shape or figure is a graphical representation of an object or its external boundary, outline, or external surface, as opposed to other properties such as color, texture, or material type.
A plane shape or plane figure is constrained to lie ...
(central command of
NATO
The North Atlantic Treaty Organization (NATO, ; french: Organisation du traité de l'Atlantique nord, ), also called the North Atlantic Alliance, is an intergovernmental military alliance between 30 member states – 28 European and two No ...
military forces), which is still used as Inria's main headquarters. In 1980, IRIA became INRIA. Since 2011, it has been styled ''Inria''.
Inria is a
Public Scientific and Technical Research Establishment A Public Scientific and Technical Research Establishment (, EPST) is a category of public research institutes. In France, they were authorized by Law No. 82-610 of 15 July 1982. In Algeria, they were authorized by decree No. 99-256 of 16 November 19 ...
(EPST) under the double supervision of the French
Ministry of National Education, Advanced Instruction and Research and the
Ministry of Economy, Finance and Industry
The Ministry of Economics, Finance and Industrial and Digital Sovereignty (french: Ministère de l'Économie, des Finances et de la Souveraineté industrielle et numérique, pronounced ), informally referred to as Bercy, is one of the most impor ...
.
Administrative status
Inria has 9 research centers distributed across France (in
Bordeaux
Bordeaux ( , ; Gascon oc, Bordèu ; eu, Bordele; it, Bordò; es, Burdeos) is a port city on the river Garonne in the Gironde department, Southwestern France. It is the capital of the Nouvelle-Aquitaine region, as well as the prefect ...
,
Grenoble
lat, Gratianopolis
, commune status = Prefecture and commune
, image = Panorama grenoble.png
, image size =
, caption = From upper left: Panorama of the city, Grenoble’s cable cars, place Saint- ...
-
Inovallée
Inovallée (contraction in French for the words innovation and valley) is a science park located at Meylan and Montbonnot-Saint-Martin near Grenoble in France.
Created in 1972 with the acronym ZIRST, it becomes Inovallée in 2005 and houses prima ...
,
Lille
Lille ( , ; nl, Rijsel ; pcd, Lile; vls, Rysel) is a city in the northern part of France, in French Flanders. On the river Deûle, near France's border with Belgium, it is the capital of the Hauts-de-France region, the prefecture of the N ...
,
Lyon
Lyon,, ; Occitan language, Occitan: ''Lion'', hist. ''Lionés'' also spelled in English as Lyons, is the List of communes in France with over 20,000 inhabitants, third-largest city and Urban area (France), second-largest metropolitan area of F ...
,
Nancy,
Paris
Paris () is the Capital city, capital and List of communes in France with over 20,000 inhabitants, most populous city of France, with an estimated population of 2,165,423 residents in 2019 in an area of more than 105 km² (41 sq mi), ma ...
-
Rocquencourt,
Rennes,
Saclay
Saclay () is a commune in the southwestern suburbs of Paris, France. It is located from the centre of Paris. It had a population of 3,067 in 2006. It is best known for the large scientific facility CEA Saclay, mostly dealing with nuclear and pa ...
, and
Sophia Antipolis
(wisdom), gr, (Ἀντίπολις, antipolis) ("opposite city" from its position on the opposite side of the Var estuary from Nice, also former name of Antibes, part of the technology park)
, postal_code = 06220 (Vallauris), 06250 (Mo ...
) and one center abroad in
Santiago de Chile
Santiago (, ; ), also known as Santiago de Chile, is the capital and largest city of Chile as well as one of the largest cities in the Americas. It is the center of Chile's most densely populated region, the Santiago Metropolitan Region, whose ...
,
Chile
Chile, officially the Republic of Chile, is a country in the western part of South America. It is the southernmost country in the world, and the closest to Antarctica, occupying a long and narrow strip of land between the Andes to the east a ...
. It also contributes to academic research teams outside of those centers.
Inria Rennes is part of the joint
Institut de recherche en informatique et systèmes aléatoires
The is a joint computer science research center of CNRS, University of Rennes 1, ENS Rennes, INSA Rennes and Inria, in Rennes in Brittany. It is one of the eight Inria research centers.
Created in 1975 as a spin-off of the University of Renn ...
(IRISA) with several other entities.
Before December 2007, the three centers of Bordeaux, Lille and Saclay formed a single research center called INRIA Futurs.
In October 2010, Inria, with
Pierre and Marie Curie University (Now
Sorbonne University
Sorbonne University (french: Sorbonne Université; la Sorbonne: 'the Sorbonne') is a public research university located in Paris, France. The institution's legacy reaches back to 1257 when Sorbonne College was established by Robert de Sor ...
) and
Paris Diderot University
Paris Diderot University, also known as Paris 7 (french: Université Paris Diderot), was a French university located in Paris, France. It was one of the inheritors of the historic University of Paris, which was split into 13 universities in 197 ...
started
IRILL, a center for innovation and research initiative for free software.
Inria employs 3800 people. Among them are 1300 researchers, 1000 Ph.D. students and 500 postdoctorates.
Research
![INRIA 2007-02-05](https://upload.wikimedia.org/wikipedia/commons/f/fe/INRIA_2007-02-05.jpg)
Inria does both
theoretical
A theory is a rational type of abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with such processes as observational study or research. Theories may be ...
and applied research in computer science. In the process, it has produced many widely used programs, such as
*
Bigloo
Bigloo is a programming language, a dialect of the language Lisp, an implementation of the language Scheme. It is developed at the French IT research institute French Institute for Research in Computer Science and Automation (INRIA). It is orie ...
, a
Scheme implementation
*
CADP
CADP (Construction and Analysis of Distributed Processes) is a toolbox for the design of communication protocols and distributed systems. CADP is developed by the CONVECS team (formerly by the VASY team) at INRIA Rhone-Alpes and connected to vari ...
, a tool box for the verification of asynchronous
concurrent systems
In computer science, concurrency is the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the outcome. This allows for parallel execution of the concurr ...
*
Caml
Caml (originally an acronym for Categorical Abstract Machine Language) is a multi-paradigm, general-purpose programming language which is a dialect of the ML programming language family. Caml was developed in France at INRIA and ENS.
Caml is ...
, a language from the
ML family
**
Caml Light
Caml (originally an acronym for Categorical Abstract Machine Language) is a multi-paradigm, general-purpose programming language which is a dialect of the ML programming language family. Caml was developed in France at INRIA and ENS.
Caml is ...
and
OCaml implementations
*
Chorus, microkernel-based distributed operating system
*
CompCert
CompCert is a formally verified optimizing compiler for a large subset of the C99 programming language (known as Clight) which currently targets PowerPC, ARM, RISC-V, x86 and x86-64 architectures. This project, led by Xavier Leroy, started o ...
, verified C compiler for PowerPC, ARM and x86_32
*
Contrail
Contrails (; short for "condensation trails") or vapor trails are line-shaped clouds produced by aircraft engine exhaust or changes in air pressure, typically at aircraft cruising altitudes several miles above the Earth's surface. Contrails ar ...
*
Coq
Coq is an interactive theorem prover first released in 1989. It allows for expressing mathematical assertions, mechanically checks proofs of these assertions, helps find formal proofs, and extracts a certified program from the constructive proof ...
, a
proof assistant
In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor ...
*
Eigen (C++ library)
Eigen is a high-level C++ library of template headers for linear algebra, matrix and vector operations, geometrical transformations, numerical solvers and related algorithms.
Eigen is open-source software licensed under the Mozilla Public Li ...
*
Esterel
Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption. As a consequence, it is well suited for cont ...
, a
programming language
A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language.
The description of a programming ...
for State Automata
* Geneauto — code-generation from model
* Graphite, a research platform for computer graphics, 3D modeling and numerical geometry
* Gudhi — A
C++
C++ (pronounced "C plus plus") is a high-level general-purpose programming language created by Danish computer scientist Bjarne Stroustrup as an extension of the C programming language, or "C with Classes". The language has expanded significan ...
library with
Python
Python may refer to:
Snakes
* Pythonidae, a family of nonvenomous snakes found in Africa, Asia, and Australia
** ''Python'' (genus), a genus of Pythonidae found in Africa and Asia
* Python (mythology), a mythical serpent
Computing
* Python (pro ...
interface for
computational topology Algorithmic topology, or computational topology, is a subfield of topology with an overlap with areas of computer science, in particular, computational geometry and computational complexity theory.
A primary concern of algorithmic topology, as its ...
and
topological data analysis
In applied mathematics, topological based data analysis (TDA) is an approach to the analysis of datasets using techniques from topology. Extraction of information from datasets that are high-dimensional, incomplete and noisy is generally challengin ...
*
Le Lisp
Le Lisp (also Le_Lisp and Le-Lisp) is a programming language, a dialect of the language Lisp.
It was developed at the French Institute for Research in Computer Science and Automation (INRIA), to be an implementation language for a very large scale ...
, a portable Lisp implementation
* medInria, a medical image processing software, popularly used for MRI images.
*
GNU MPFR, an arbitrary-precision floating-point library
*
OpenViBE
OpenViBE is a software platform dedicated to designing, testing and using brain-computer interfaces. The package includes a Designer tool to create and run custom applications, along with several pre-configured and demo programs which are ready ...
, a
software platform
A computing platform or digital platform is an environment in which a piece of software is executed. It may be the hardware or the operating system (OS), even a web browser and associated application programming interfaces, or other underlying ...
dedicated to designing, testing and using
brain–computer interface
A brain–computer interface (BCI), sometimes called a brain–machine interface (BMI) or smartbrain, is a direct communication pathway between the brain's electrical activity and an external device, most commonly a computer or robotic limb. B ...
s.
*
Pharo
Pharo is an open source, cross-platform implementation of the classic Smalltalk-80 programming language and runtime. It's based on the OpenSmalltalk virtual machine called Cog (VM), which evaluates a dynamic, reflective, and object-orient ...
, an open-source Smalltalk derived from
Squeak
Squeak is an object-oriented, class-based, and reflective programming language. It was derived from Smalltalk-80 by a group that included some of Smalltalk-80's original developers, initially at Apple Computer, then at Walt Disney Imagineering, ...
br>
*
scikit-learn
scikit-learn (formerly scikits.learn and also known as sklearn) is a free software machine learning library for the Python programming language.
It features various classification, regression and clustering algorithms including support-vector ...
, a machine learning software package
*
Scilab, a numerical computation software package
*
SimGrid
{{Infobox software
, name = SimGrid
, title = SimGrid
, logo =
, author =
, developer =
, released = {{start date, 1998{{cite conference
, first = Henri
, last = Casanova
, title = A Toolkit for the Simulation of Application Scheduli ...
*
SmartEiffel
SmartEiffel is a free Eiffel compiler. The compiler translates Eiffel code either to C or Java bytecode. Hence it can be used to write programs that run on virtually any platform for which an ANSI C compiler or a Java virtual machine exist.
...
, a free Eiffel compiler
*
SOFA
A couch, also known as a sofa, settee, or chesterfield, is a cushioned item of furniture for seating multiple people (although it is not uncommon for a single person to use a couch alone). It is commonly found in the form of a bench with up ...
, an open source framework for multi-physics simulation with an emphasis on medical simulation.
*
TOM, a pattern matching language
ViSP an open source visual servoing platform library
*
XtreemFS
*
XtreemOS
Zenon an extensible automated theorem prover producing checkable proofs
Inria furthermore leads French AI Research, ranking 12th worldwide in 2019, based on accepted publications at the prestigious
Conference on Neural Information Processing Systems
The Conference and Workshop on Neural Information Processing Systems (abbreviated as NeurIPS and formerly NIPS) is a machine learning and computational neuroscience conference held every December. The conference is currently a double-track meet ...
.
References
Further reading
*
External links
*
*
{{authority control
Computer science research organizations
History of computing in France
Scientific agencies of the government of France
Theoretical computer science
Computer science institutes in France
Members of the European Research Consortium for Informatics and Mathematics
Information technology research institutes