The Full Wiki

INRIA: Wikis

Advertisements

Note: Many of our articles have direct quotes from sources you can cite, within the Wikipedia article! This article doesn't yet, but we're working on it! See more info or our list of citable articles.

Encyclopedia

From Wikipedia, the free encyclopedia

Logo-INRIA.png

The Institut national de recherche en informatique et en automatique (INRIA) (English: National Institute for Research in Computer and Control Sciences) is a French national research institution focusing on computer science, control theory and applied mathematics. It was created 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).

INRIA is a public scientific and technological 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.

Research in Computer Science

French science
Higher education
EPCSP University-grade institutes
Universities
Autonomous institutes
Écoles normales supérieures
Grands établissements

Grandes écoles

EPST (public research labs)
Cemagref (agriculture)
CNRS (fundamental sciences)
INED (demography)
INRA (agronomy)
INRETS (transports)
INRIA (IT and automatic)
INSERM (medicine)
IRD (development)
LCPC (civil engineering)
EPIC (public industry)
CEA (nuclear industry)
Ifremer (maritime applications)
ONERA (aerospace)

INRIA does both theoretical and applied research in computer science. In the process, it has produced many widely used programs, such as

  • CaML, a language from the ML family
  • Caml Light and OCaml implementations
  • Bigloo, a Scheme implementation
  • Coq, a theorem prover
  • Graphite, a research platform for computer graphics, 3D modeling and numerical geometry
  • SmartEiffel, a free Eiffel compiler
  • Scilab, a numerical computation software package similar to MATLAB
  • Esterel, a programming language for State Automata
  • TOM, a pattern matching language
  • Pharo, An open Smalltalk implementation.

Administrative status

INRIA has 8 research centers 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.

INRIA employs 3800 people. Among them are 1300 researchers, 1000 Ph.D. students and 500 postdoctorates.

Further reading

  • (French) Alain Beltran, Pascal Griset, Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria, EDP Sciences, 2007, ISBN 2868838065

External links

Advertisements

Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message