Instituto Francés de Investigación en Informática y Automatización

El Instituto Nacional de Investigación en Ciencia y Tecnología Digitales (Inria) (en francés: Institut national de recherche en sciences et technologies du numérique) es una institución de investigación nacional francesa que se centra en la informática y las matemáticas aplicadas. Fue creado con el nombre de Instituto Francés de Investigación en Informática y Automatización (IRIA) (en francés: Institut de recherche en informatique et en automatique) en 1967 en Rocquencourt cerca de París, parte del Plan Calcul. Su primer sitio fueron las instalaciones históricas de SHAPE (comando central de las fuerzas militares de la OTAN), que todavía se utiliza como sede principal de Inria. En 1980, IRIA se convirtió en INRIA. Desde 2011, lleva el estilo Inria.

Inria es un Establecimiento Público de Investigación Científica y Técnica (EPST) bajo la doble supervisión del Ministerio francés de Educación Nacional, Instrucción Superior e Investigación y el Ministerio de Economía, Finanzas e Industria.

Estado administrativo

Inria cuenta con nueve centros de investigación distribuidos en Francia (en Burdeos, Grenoble-Inovallée, Lille, Lyon, Nancy, París-Rocquencourt, Rennes, Saclay y Sophia Antipolis) y un centro en el extranjero en Santiago de Chile, Chile. También contribuye a equipos de investigación académica fuera de esos centros.

Inria Rennes es parte del Institut de recherche en informatique et systèmes aléatoires (IRISA) conjunto con varias otras entidades.

Antes de diciembre de 2007, los tres centros de Burdeos, Lille y Saclay formaban un único centro de investigación denominado INRIA Futurs.

En octubre de 2010, Inria, junto con la Universidad Pierre y Marie Curie (ahora Universidad de la Sorbona) y la Universidad Paris Diderot, iniciaron IRILL, un centro de innovación e iniciativa de investigación para el software libre.

Inria emplea a 3800 personas. Entre ellos se encuentran 1300 investigadores, 1000 Ph.D. estudiantes y 500 posdoctorados.

Investigación

Inria realiza investigación tanto teórica como aplicada en informática. En el proceso, ha producido muchos programas ampliamente utilizados, como

• Bigloo, un plan de aplicación
• CADP, una caja de herramientas para la verificación de sistemas concurrentes asincrónicos
• Caml, un idioma de la familia ML
  • Implementaciones Caml Light y OCaml
• Sistema operativo distribuido a base de microcarne
• CompCert, compilador C verificado para PowerPC, ARM y x86_32
• Contrail
• Coq, un asistente de pruebas
• Eigen (C++ biblioteca)
• Esterel, un lenguaje de programación para State Automata
• Geneauto — generación de código del modelo
• Graphite, una plataforma de investigación para gráficos informáticos, modelado 3D y geometría numérica
• Gudhi — Una biblioteca C+ con interfaz Python para topología computacional y análisis de datos topológicos
• Le Lisp, una aplicación Lisp portátil
• medInria, un software de procesamiento de imágenes médicas, utilizado popularmente para imágenes de resonancia magnética.
• GNU MPFR, una biblioteca de puntos flotantes de precisión arbitraria
• OpenViBE, una plataforma de software dedicada a diseñar, probar y usar interfaces de ordenador cerebral.
• Pharo, un Smalltalk de código abierto derivado de Squeak [1].
• scikit-learn, un paquete de software de aprendizaje automático
• Scilab, un paquete de software informático numérico
• SimGrid
• SmartEiffel, un compilador Eiffel gratuito
• SOFA, un marco de código abierto para la simulación multifísica con énfasis en la simulación médica.
• TOM, un patrón que coincide con el lenguaje
• ViSP, una biblioteca de plataformas de servoing visual de código abierto
• XtreemFS
• XtreemOS, un sistema operativo distribuido
• Zenon, un probador de teorema automatizado extensible que produce pruebas verificables

Inria, además, lidera la investigación francesa de IA, ocupando el puesto 12 a nivel mundial en 2019, según las publicaciones aceptadas en la prestigiosa Conferencia sobre sistemas de procesamiento de información neuronal.