Nearby Words

institut national de recherche en informatique et automatique

Institut national de recherche en informatique et en automatique

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

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

Search another word or see institut national de recherche en informatique et automatiqueon Dictionary | Thesaurus |Spanish
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT

;