Institut national de recherche en informatique et en automatique
From Wikipedia, the free encyclopedia
The Institut national de recherche en informatique et en automatique (INRIA) (English: The French National Institute for 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.
| 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, SmartEiffel, a free Eiffel compiler, Scilab, a numerical computation software package similar to MATLAB,and Esterel a programming language for State Automata.
It has 6 research units:
- INRIA Futurs (Lille, Saclay, Bordeaux) http://www-futurs.inria.fr/
- 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/ ()
- INRIA Sophia-Antipolis (near Nice) http://www-sop.inria.fr/
and also contributes to academic research teams outside of those centres.
- http://www.inria.fr Official web site (English and French)