French Institute for Research in Computer Science and Automation
Template:Short description Script error: No such module "Unsubst".
Page Module:Infobox/styles.css has no content.
| Lua error in package.lua at line 80: module 'Module:InfoboxImage/data' not found. | |
| Script error: No such module "Infobox mapframe". | |
| Abbreviation | Inria |
|---|---|
| Formation | 3 January 1967Script error: No such module "Check for unknown parameters". |
| Founder | Script error: No such module "If empty". |
| Dissolved | Script error: No such module "If empty". |
| Type | Public |
| Script error: No such module "If empty". | |
| Purpose | Script error: No such module "If empty". |
| Headquarters | Le Chesnay-Rocquencourt, France |
| LocationTemplate:Pluralize from text | Script error: No such module "list". |
| Coordinates | Script error: No such module "If empty". |
| Product | Script error: No such module "If empty". |
| Method | Script error: No such module "If empty". |
| Fields | Script error: No such module "If empty". |
| Members | Script error: No such module "If empty". |
Official languages | Script error: No such module "If empty". |
| Owner | Script error: No such module "If empty". |
Secretary General | Script error: No such module "If empty". |
President | Bruno Sportisse |
Parent organization | Script error: No such module "If empty". |
| Subsidiaries | Script error: No such module "If empty". |
| Budget | €235 million (2013) |
| Funding | Script error: No such module "If empty". |
| Staff | Script error: No such module "If empty". |
| Website | Template:Official URL |
Formerly called | Institut de recherche en informatique et en automatique |
Script error: No such module "Check for unknown parameters".Script error: No such module "Check for conflicting parameters".
The National Institute for Research in Digital Science and Technology (Inria) (Template:Langx) is a French national research institution focusing on computer science and applied mathematics. It was created under the name French Institute for Research in Computer Science and Automation (IRIA) (Template:Langx) in 1967 at Rocquencourt near Paris, part of Plan Calcul. Its first site was the historical premises of SHAPE (central command of NATO military forces), which is still used as Inria's main headquarters. In 1980, IRIA became INRIA.[1] 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 nine research centers distributed across France (in Bordeaux, Grenoble-Inovallée, Lille, Lyon, Nancy, Paris-Rocquencourt, Rennes, Saclay, and Sophia Antipolis) and one center abroad in Santiago de Chile, Chile. 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. Inria Nancy is part of the joint LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications) with CNRS and the University of Lorraine.
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[2]
- CYCLADES, pioneered the use of datagrams, functional layering, and the end-to-end strategy, concepts adopted in TCP/IP and the Internet.[3][4][5][6]
- Eigen (C++ library)
- Esterel, a programming language for State Automata
- Geneauto — code-generation from model[7]
- 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[8]
- Le Lisp, a portable Lisp implementation
- medInria, a medical image processing software, popularly used for MRI images.[9]
- 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 Squeak.[10]
- Rocq, a proof assistant
- 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, a pattern matching language
- ViSP, an open source visual servoing platform library
- XtreemFS[2]
- XtreemOS, a grid distributed operating system
- 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 Conference on Neural Information Processing Systems.[11]
History
During the summer of 1988, the INRIA connected its Sophia-Antipolis unit to the NSFNet via Princeton using a satellite link leased to France Telecom and MCI. The link became operational on 8 August 1988, and allowed INRIA researchers to access the US network and allowed NASA researchers access to an astronomical database based in Strasbourg. This was the first international connection to NSFNET and the first time that French networks were connected directly to a network using TCP/IP. The Internet in France was limited to research and education for some years to come.[12][13][14]
References
Page Template:Reflist/styles.css has no content.
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ a b Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ Lua error in package.lua at line 80: module 'Module:Arguments' not found.
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
- ↑ Et Dieu crea l'Internet, Christian Huitema, Template:ISBN, 1995, page 10
- ↑ Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
Script error: No such module "Check for unknown parameters".
Sources
- Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
Further reading
- Lua error in package.lua at line 80: module 'Module:Citation/CS1/Utilities' not found.
External links
- Page Template:Sister-inline/styles.css has no content.Script error: No such module "Sister project logo". Media related to Script error: No such module "Commons link". at Wikimedia Commons
- Script error: No such module "Official website".Script error: No such module "Check for unknown parameters".
Lua error in package.lua at line 80: module 'Module:Navbox/configuration' not found.
Lua error in package.lua at line 80: module 'Module:Authority control/config' not found.
