Institut National de Recherche en Informatique et en Automatique

El "Institut National de Recherche en Informatique et en Automatique" o INRIA (traducido literalmente del francés como Instituto Nacional de Investigación en Informática y Automática) es un centro de investigación francés especializado en Ciencias de la Computación, teoría de control y matemáticas aplicadas. Creado en 1967 en Rocquencourt cerca de Versalles, el INRIA es un establecimiento público de investigación en ciencia y tecnología bajo la supervisión de los ministerios franceses de Investigación y de Economía, Finanzas e Industria.

Investigación en Computación

En el INRIA se realiza investigación tanto teórica como práctica en computación. Ha producido muchas aplicaciones ampliamente utilizadas, particularmente se diseñó allí el lenguaje Caml y sus sucesores Caml Light y Ocaml, que son todos lenguajes de la familia de lenguajes ML. También se desarrolló en este centro Bigloo, una implementación de Scheme y Scilab, una aplicación numérica similar a Matlab o el Lenguaje de Transformación de modelos ATL.