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 Ciencia y Tecnología Digital ( Inria ) ( 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 ) ( francés : Institut de recherche en informatique et en automatique ) en 1967 en Rocquencourt , cerca de París , parte del Plan Calcul . Su primer emplazamiento fueron las instalaciones históricas de SHAPE (comando central de las fuerzas militares de la OTAN ), que todavía se utilizan como cuartel general principal de 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 supervisión del Ministerio francés de Educación Nacional, Enseñanza 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 - Roquencourt , 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 denominado INRIA Futurs.

En octubre de 2010, Inria, 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 3.800 personas. Entre ellos se encuentran 1.300 investigadores, 1.000 Ph.D. estudiantes y 500 posdoctorados.

Investigación

Inria París-Saclay, 2014

Parte de INRIA Sophia Antipolis, 2007

Actividad en INRIA Lille, 2010

INRIA Rennes en 2006, parte del conjunto IRISA

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

• Bigloo , una implementación del esquema
• 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 de C verificado para PowerPC, ARM y x86_32
• Estela ^[2]
• Coq , un asistente de pruebas
• CYCLADES , fue pionera en el uso de datagramas , capas funcionales y la estrategia de un extremo a otro . ^{[3] [4]}
• Eigen (biblioteca C++)
• Esterel , un lenguaje de programación para State Automata
• Geneauto: generación de código a partir del modelo ^[5]
• Graphite, una plataforma de investigación en infografía, 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 computación numérica
• SimGrid
• SmartEiffel , un compilador gratuito de Eiffel
• SOFA , un marco de código abierto para simulación multifísica con énfasis en simulación médica.
• TOM , un lenguaje de coincidencia de patrones
• ViSP, una biblioteca de plataforma de servicios visuales de código abierto
• Xtreem ^[2]
• XtreemOS, un sistema operativo distribuido en grid
• Zenon, un demostrador de teoremas automatizado extensible que produce pruebas comprobables

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

Historia

Durante el verano de 1988, INRIA conectó su unidad Sophia-Antipolis a NSFNet a través de Princeton utilizando 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 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ó durante algunos años a la investigación y la educación. ^{[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 interoperables de federación en la nube". Cuadrícula científica internacional esta semana (ISGTW) . Archivado desde el original el 17 de octubre de 2013 . Consultado el 17 de octubre de 2013 .
3. Bennett, Richard (septiembre de 2009). "Diseñado para el cambio: argumentos de un extremo a otro, innovación en Internet y el debate sobre la neutralidad de la red" (PDF) . Fundación Tecnologías de la Información e Innovación. págs.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". Inría . 9 de noviembre de 2020 . Consultado el 4 de septiembre de 2023 .
5. "Conjunto de herramientas Geneauto / P: el conjunto de herramientas P incluye un marco de verificación y generación de código para los lenguajes admitidos por el entorno TOPCASED". Scilab .
6. "Gudhi, INRIA".
7. "medInria".
8. "Estadísticas de NeurIPS 2019". 18 de diciembre de 2019.
9. "El camino hacia la alfabetización digital y la cultura en red en Francia (décadas de 1980 a 1990)". El compañero de Routledge para las historias globales de Internet . Taylor y Francisco. 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".

Otras lecturas

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