Institut national de recherche en informatique et en automatique

From Wikipedia, the free encyclopedia

This article or section needs sources or references that appear in reliable, third-party publications. Primary sources and sources affiliated with the subject of the article are generally not sufficient for a Wikipedia article. Please include more appropriate citations from reliable sources, or discuss the issue on the talk page. This article has been tagged since January 2008.

The Institut national de recherche en informatique et en automatique (INRIA) (English: The French National Institute for Research in Computer Science and Control) is a French national research institution focusing on computer science, control theory and applied mathematics. Created in 1967 at Rocquencourt near Paris, on the premises abandoned by SHAPE, INRIA is a public scientific and technological establishment (EPST) under the double supervision of the French Research Ministry and the Ministry of Economy, Finance and Industry.

[edit] Research in Computer Science

French science

Universities

Grandes écoles

Grands établissements

EPST

Cemagref

CNRS

INED

INRA

INRETS

INRIA

IRD

INSERM

LCPC

EPIC

CEA

Ifremer

INRIA does both theoretical and applied research in computer science. In the process, it has produced many widely used programs. Indeed, it has designed CaML, a language from the ML family, and developed both the Caml Light and OCaml implementations. It has also developed Bigloo, a Scheme implementation, Coq, a theorem prover, SmartEiffel, a free Eiffel compiler, Scilab, a numerical computation software package similar to MATLAB, and Esterel, a programming language for State Automata.

[edit] Administrative status

It has 8 research units:

• INRIA Saclay (a suburb of Paris) http://www.inria.fr/saclay
• INRIA Lille - http://www.inria.fr/lille
• INRIA Bordeaux - http://www.inria.fr/bordeaux
• INRIA Lorraine (LORIA - in association with CNRS and local universities) http://www.loria.fr/INRIA/
• INRIA Rennes (IRISA - in association with CNRS and local universities) http://www.irisa.fr/
• INRIA Rhône-Alpes (near Grenoble) http://www.inrialpes.fr/
• INRIA Rocquencourt (a suburb of Paris) http://www-rocq.inria.fr/ (48°50′14″N 2°06′09″E / 48.837283, 2.102384)
• INRIA Sophia-Antipolis (near Nice) http://www-sop.inria.fr/

and also contributes to academic research teams outside of those centres.

[edit] External links

• http://www.inria.fr Official web site (English and French)