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

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

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

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 forma 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 llamado INRIA Futurs.

En octubre de 2010, Inria, junto con la Universidad Pierre y Marie Curie (actualmente Universidad de la Sorbona ) y la Universidad París Diderot, puso en marcha IRILL , un centro de innovación e iniciativa de investigación para software libre.

El INRIA emplea a 3.800 personas, de las cuales 1.300 son investigadores, 1.000 son estudiantes de doctorado y 500 son posdoctorales.

Inria realiza investigaciones tanto teóricas como aplicadas en informática. En el proceso, ha producido muchos programas ampliamente utilizados, como

• Bigloo , una implementación de Scheme
• CADP , una caja de herramientas para la verificación de sistemas concurrentes asíncronos
• Caml , un lenguaje de la familia ML
  • Implementaciones de Caml Light y OCaml
• Chorus , sistema operativo distribuido basado en microkernel
• CompCert , compilador C verificado para PowerPC, ARM y x86_32
• Estela de condensación ^[2]
• Coq , un asistente de pruebas
• CYCLADES fue pionera en el uso de datagramas , capas funcionales y la estrategia de extremo a extremo . ^{[3] [4]}
• Eigen (biblioteca C++)
• Esterel , un lenguaje de programación para autómatas de estado
• Geneauto: generación de código a partir de un modelo ^[5]
• Graphite, una plataforma de investigación para gráficos por computadora, 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 ^[6]
• Le Lisp , una implementación portátil de Lisp
• medInria, un software de procesamiento de imágenes médicas, utilizado popularmente para imágenes de resonancia magnética. ^[7]
• GNU MPFR , una biblioteca de punto flotante de precisión arbitraria
• OpenViBE , una plataforma de software dedicada al diseño, prueba y uso de interfaces cerebro-computadora .
• 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 de cálculo numérico
• SimGrid
• SmartEiffel , un compilador Eiffel gratuito
• SOFA , un marco de código abierto para simulación multifísica con énfasis en la simulación médica.
• TOM , un lenguaje de comparación de patrones
• ViSP, una biblioteca de plataforma de servocontrol visual de código abierto
• XtreemFS ^[2]
• XtreemOS, un sistema operativo distribuido en red
• Zenon, un demostrador de teoremas extensible y automatizado que produce pruebas comprobables

Inria además lidera la investigación en IA francesa, 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 Neural . ^[8]

Durante el verano de 1988, el INRIA conectó su unidad Sophia-Antipolis a la NSFNet a través de Princeton utilizando un enlace satelital alquilado a France Telecom y MCI. El enlace entró en funcionamiento el 8 de agosto de 1988 y permitió a los investigadores del INRIA acceder a la red estadounidense y a los investigadores de la NASA acceder a una base de datos astronómicos con sede en Estrasburgo. Esta fue la primera conexión internacional a la NSFNET y la primera vez que las redes francesas se conectaron directamente a una red utilizando TCP/IP , el protocolo de Internet. Internet en Francia se limitó a la investigación y la educación durante algunos años. ^{[9] [10] [11]}

• Beltrán, Alain; Griset, Pascal (2007). Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria [ Historia de un pionero de la informática: 40 años de investigación en INRIA ] (en francés). Ciencias EDP. ISBN 978-2-86883-806-3.

• Medios relacionados con INRIA en Wikimedia Commons
• Sitio web oficial (en inglés)

• Estrategia nacional para la inteligencia artificial