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:

• 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)