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 (includin ...

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 mathemat ...

. 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 and 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), making it the 30th most densely populated city in the world in 2020. ...

, part of Plan Calcul. 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 on ...

(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 (EPST) under the double supervision of the French Ministry of National Education, Advanced Instruction and Research and the Ministry of Economy, Finance and Industry.

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 prefecture ...

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,

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 Nord ...

Lyon Lyon,, ; Occitan: ''Lion'', hist. ''Lionés'' also spelled in English as Lyons, is the third-largest city and second-largest metropolitan area of France. It is located at the confluence of the rivers Rhône and Saône, to the northwest of ...

, Nancy,

- Rocquencourt,

Rennes Rennes (; br, Roazhon ; Gallo: ''Resnn''; ) is a city in the east of Brittany in northwestern France at the confluence of the Ille and the Vilaine. Rennes is the prefecture of the region of Brittany, as well as the Ille-et-Vilaine departm ...

, Saclay, and Sophia Antipolis) 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, who ...

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 eas ...

. 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 (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) and Paris Diderot University 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 does both theoretical and applied research in computer science. In the process, it has produced many widely used programs, such as * Bigloo, a Scheme implementation * CADP, a tool box for the verification of asynchronous concurrent systems * Caml, a language from the ML family ** Caml Light and OCaml implementations * Chorus, microkernel-based distributed operating system * CompCert, verified C compiler for PowerPC, ARM and x86_32 * Contrail * Coq, a proof assistant * Eigen (C++ library) * Esterel, 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 l ...

for State Automata * Geneauto — code-generation from model * Graphite, a research platform for computer graphics, 3D modeling and numerical geometry * Gudhi — A C++ library with Python interface for computational topology and topological data analysis * Le Lisp, a portable Lisp implementation * medInria, a medical image processing software, popularly used for MRI images. * GNU MPFR, an arbitrary-precision floating-point library * OpenViBE, a software platform dedicated to designing, testing and using brain–computer interfaces. * Pharo, an open-source Smalltalk derived from Squeakbr>
* scikit-learn, a machine learning software package * Scilab, a numerical computation software package * SimGrid * SmartEiffel, a free Eiffel compiler * SOFA, an open source framework for multi-physics simulation with an emphasis on medical simulation. *

TOM Tom or TOM may refer to: * Tom (given name), a diminutive of Thomas or Tomás or an independent Aramaic given name (and a list of people with the name) Characters * Tom Anderson, a character in ''Beavis and Butt-Head'' * Tom Beck, a character ...

, a pattern matching language
ViSP
an open source visual servoing platform library *

XtreemFS XtreemFS is an object-based, distributed file system for wide area networks.F. Hupfeld, T. Cortes, B. Kolbeck, E. Focht, M. Hess, J. Malo, J. Marti, J. Stender, E. Cesario"XtreemFS - a case for object-based storage in Grid data management" VLDB W ...

* 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.

References

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

Administrative status

Research

References

Further reading

External links