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

El Instituto Nacional de Investigación en Ciencia y Tecnología Digital ( Inria ) (en francés : Institut national de recherche en sciences et technologies du numérique ) es una institución nacional de investigación francesa centrada 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 , como parte del Plan Calcul . Su primera sede fueron las instalaciones históricas de SHAPE (comando central de las fuerzas militares de la OTAN ), que aún se utilizan como sede principal de Inria. En 1980, IRIA pasó a llamarse INRIA. ^{[ 1 ]} Desde 2011, se le conoce como Inria .

Inria es un centro público de investigación científica y técnica (EPST, por sus siglas en inglés) bajo la doble supervisión del Ministerio de Educación Nacional, Enseñanza Superior e Investigación de Francia y del Ministerio de Economía, Finanzas e Industria .

Inria cuenta con nueve centros de investigación distribuidos por toda 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 . Además, colabora con equipos de investigación académica fuera de estos centros.

Inria Rennes forma parte del Institut de recherche en informatique et systèmes aléatoires (IRISA) conjunto con varias otras entidades. Inria Nancy forma parte del LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications) conjunto con el CNRS y la Universidad de Lorena .

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 Paris Diderot, puso en marcha IRILL , un centro de innovación e iniciativa de investigación para el software libre.

Inria cuenta con 3800 empleados. Entre ellos se encuentran 1300 investigadores, 1000 estudiantes de doctorado y 500 becarios postdoctorales.

Inria realiza investigación teórica y aplicada en informática. En este proceso, ha producido muchos programas de uso generalizado, tales como:

• Bigloo , una implementación de Scheme
• CADP , un conjunto 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 ^{[ 2 ]}
• CYCLADES fue pionero en el uso de datagramas , capas funcionales y la estrategia de extremo a extremo , conceptos adoptados en TCP/IP e Internet . ^{[ 3 ] [ 4 ] [ 5 ] [ 6 ]}
• Eigen (biblioteca de C++)
• Esterel , un lenguaje de programación para autómatas de estado.
• Geneauto — generación de código a partir del modelo ^{[ 7 ]}
• Graphite, una plataforma de investigación para gráficos por computadora, modelado 3D y geometría numérica.
• Gudhi — Una biblioteca de C++ con interfaz de Python para topología computacional y análisis de datos topológicos ^{[ 8 ]}
• Le Lisp , una implementación Lisp portátil
• medInria, un software de procesamiento de imágenes médicas, popularmente utilizado para imágenes de resonancia magnética. ^{[ 9 ]}
• 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 . ^{[ 10 ]}
• Rocq , un asistente de pruebas
• scikit-learn , un paquete de software de aprendizaje automático
• Scilab , un paquete de software de cálculo numérico
• SimGrid
• SmartEiffel , un compilador gratuito de Eiffel
• SOFA , un marco de código abierto para la simulación multifísica con énfasis en la simulación médica.
• TOM , un lenguaje de coincidencia 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 automatizado y extensible que produce pruebas verificables.

Inria lidera además la investigación francesa en IA, ocupando el puesto 12 a nivel mundial en 2019, según las publicaciones aceptadas en la Conferencia sobre Sistemas de Procesamiento de Información Neuronal . ^{[ 11 ]}

Durante el verano de 1988, el INRIA conectó su unidad de Sophia-Antipolis a la NSFNet a través de Princeton mediante un enlace satelital arrendado 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ómica 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 mediante TCP/IP . Durante los años siguientes, el uso de Internet en Francia se limitó a la investigación y la educación. ^{[ 12 ] [ 13 ] [ 14 ]}

• Abbate, Janet (1999). Inventando Internet . Cambridge, Massachusetts: MIT Press. ISBN 978-0-262-01172-3.

• 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.

• Contenido multimedia relacionado con INRIA en Wikimedia Commons
• Sitio web oficial