|
|
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. (January 2008) |
The Institut national de recherche en informatique et en automatique (INRIA) (English: 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 left by SHAPE, 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
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.
Administrative status
It has 8 research units:
and also contributes to academic research teams outside of those centres.
External links
|
