French Institute for Research in Computer Science and Automation
 |
|
| Formation | 3 January 1967 |
|---|---|
| Type | Public |
| Purpose | Research |
| Headquarters | Rocquencourt, France |
| Fields | Computer science Applied mathematics |
|
Official languages
|
French, English |
|
President
|
Antoine Petit |
|
Budget
|
€235 million (2013) |
|
Staff
|
1,772 researchers |
| Website | inria.fr |
The French Institute for Research in Computer Science and Automation (French: Institut national de recherche en informatique et en automatique) is a French national research institution focusing on computer science and applied mathematics. It was created under the name Institut de recherche en informatique et en automatique (IRIA) 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). In 1979 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 8 research centers (in Bordeaux, Grenoble, Lille, Nancy, Paris-Rocquencourt, Rennes, Saclay, and Sophia Antipolis) and also contributes to academic research teams outside of those centers.
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 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
- Contrail[2]
- XtreemFS[3]
- XtreemOS
- Bigloo, a Scheme implementation
- Caml, a language from the ML family
- Caml Light and OCaml implementations
- Coq, a proof assistant
- CADP, a tool box for the verification of asynchronous concurrent systems
- ChorusOS, distributed operating system
- Graphite, a research platform for computer graphics, 3D modeling and numerical geometry
- SmartEiffel, a free Eiffel compiler
- Scilab, a numerical computation software package
- Esterel, a programming language for State Automata
- TOM, a pattern matching language
- Pharo, an open Smalltalk implementation.
- OpenViBE, a software platform dedicated to designing, testing and using brain-computer interfaces.
- SimGrid
- Geneauto — code-generation from model [4]
References
<templatestyles src="Reflist/styles.css" />
Cite error: Invalid <references> tag; parameter "group" is allowed only.
<references />, or <references group="..." />Further reading
- Alain Beltran, Pascal Griset, Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria, EDP Sciences, 2007, ISBN 2-86883-806-5. (French)
External links
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This article about a French university, college, or other educational institution is a stub. You can help Wikipedia by expanding it. |
- ↑ French wikipedia.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
- ↑ http://forge.scilab.org/index.php/p/geneauto-p/
- Pages with reference errors
- Articles containing French-language text
- Articles with French-language external links
- Official website not in Wikidata
- 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
- France university stubs
