Institut national de recherche en informatique et en automatique
L'Institut national de recherche en informatique et en automatique (INRIA, Istituto nazionale per la ricerca nell'informatica e nell'automazione) è un istituto nazionale francese per la ricerca, focalizzato sull'informatica, la teoria dell'automazione e la matematica applicata. Creato nel 1967 a Rocquencourt, vicino a Parigi, lINRIA è un polo di ricerca scientifica e tecnologica, sotto la supervisione del ministro della ricerca e del ministero dell'economia, finanza e industria.
Ricerca nel campo dell'informatica
L'INRIA compie ricerca sia nell'informatica teorica che applicata. In questo processo, ha realizzato numerosi programmi largamente usati. Infatti, ha progettato CaML, un linguaggio della famiglia ML, e sviluppato sia le implementazioni Caml Light che OCaml. Ha anche sviluppato Bigloo, una implementazione Scheme, e Scilab, un sistema di calcolo numerico molto simile a Matlab.
Stato amministrativo
L'INRIA ha 6 unità di ricerca:
- INRIA Futurs (Lilla, Saclay, Bordeaux) http://www-futurs.inria.fr/
- INRIA Lorraine (LORIA - in associazione con il CNRS e università locali) http://www.loria.fr/INRIA/
- INRIA Rennes (IRISA - in associazione con il CNRS e università locali) http://www.irisa.fr/
- INRIA Rhône-Alpes (vicino Grenoble) http://www.inrialpes.fr/
- INRIA Rocquencourt (presso Paris) http://www-rocq.inria.fr/
- INRIA Sophia-Antipolis (vicino Nice) http://www-sop.inria.fr/
inoltre contribuisce alla ricerca scientifica fuori da questi centri.