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.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.El INRIA tiene ocho unidades de investigación: El INRIA también contribuye con equipos de investigación académica y postgrados en Universidades y en otros centros de investigación pública en Francia.