| content |
 |
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
| French science |
| Higher education |
| Universities |
| Grandes écoles |
| Grands établissements |
| EPST (public research labs) |
| Cemagref (agriculture) |
| CNRS (fundamental sciences) |
| INED (demography) |
| INRA (agronomy) |
| INRETS (transports) |
| INRIA (IT and automatic) |
| INSERM (medecine) |
| IRD (development) |
| LCPC (civil engineering) |
| EPIC (public industry) |
| CEA (nuclear industry) |
| Ifremer (maritime applications) |
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:
- 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/ ()
- INRIA Sophia Antipolis - Méditerranée (near Nice) http://www-sop.inria.fr/
and also contributes to academic research teams outside of those centres.
External links
- http://www.inria.fr Official web site (English and French)
 |
This article about a French university, college, or other educational institution is a stub. You can help Wikipedia by expanding it. |
