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

Institución francesa de investigación en informática

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 .

Estado administrativo

Edificio Inria Grenoble, 2013

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, entre ellas 1.300 investigadores, 1.000 estudiantes de doctorado y 500 posdoctorados.

Investigación

Inria París-Saclay, 2014

Parte de INRIA Sophia Antipolis, 2007

Actividad en el INRIA Lille, 2010

INRIA Rennes en 2006, parte del conjunto IRISA

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 Lisp portátil
• 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]

Historia

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]}

Referencias

INRIA en EuraTechnologies, 2010

1. (en francés) Décret No. 79-1158 del 27 de diciembre de 1979 Création d'un institut national de recherches en informatique et en automatique (INRIA), établissement public à caractère administratif, placé sous la tutelle du ministre de l'industrie.
2. Versweyveld, Leslie (30 de octubre de 2012). "El proyecto Contrail se enorgullece de presentar su primer conjunto completo de herramientas de federación de nubes interoperables". International Science Grid This Week (ISGTW) . Archivado desde el original el 17 de octubre de 2013. Consultado el 17 de octubre de 2013 .
3. Bennett, Richard (septiembre de 2009). "Designed for Change: End-to-End Arguments, Internet Innovation, and the Net Neutrality Debate" (PDF) . Fundación para la Tecnología de la Información y la Innovación. pp. 7, 11. Consultado el 11 de septiembre de 2017 .
4. "Entre Stanford y las Cícladas, una perspectiva transatlántica sobre la creación de Internet". Inria . 9 de noviembre de 2020 . Consultado el 4 de septiembre de 2023 .
5. "Geneauto / P toolset - El conjunto de herramientas P incluye un marco de generación y verificación de código para los lenguajes compatibles con el entorno TOPCASED". Scilab .
6. "Gudhi, INRIA".
7. "medicina".
8. "Estadísticas de NeurIPS 2019". 18 de diciembre de 2019.
9. "El camino hacia la alfabetización digital y la cultura de la red en Francia (década de 1980 a 1990)". The Routledge Companion to Global Internet Histories . Taylor & Francis. 2017. págs. 84-89. ISBN 978-1317607656.
10. Et Dieu crea l'Internet , Christian Huitema, ISBN 2-212-08855-8 , 1995, página 10 
11. Andrianarisoa, Menjanirina. "Una breve historia de Internet".

Lectura adicional

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

Enlaces externos

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

Véase también

• Estrategia nacional para la inteligencia artificial