Instituto Francés de Investigación en Informática y Automatización
 | |
| Formación | 3 de enero de 1967 (1967-01-03) |
|---|---|
| Tipo | Público |
| Objetivo | Investigación |
| Sede | Le Chesnay-Rocquencourt , Francia |
| Campos | Ciencias de la computación Matemáticas aplicadas |
Idiomas oficiales | Francés , Inglés |
Presidente | Bruno Sportisse |
Presupuesto | 235 millones de euros (2013) |
Personal | 1.772 investigadores |
| Sitio web | inria.fr |
Anteriormente llamado | Instituto de investigación informática y automá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
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.
Investigación
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
- ^ (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.
- ^ ab 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 .
- ^ 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 .
- ^ "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 .
- ^ "Conjunto de herramientas Geneauto/P: 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 .
- ^ "Gudhi, INRIA".
- ^ "medicina".
- ^ "Estadísticas de NeurIPS 2019". 18 de diciembre de 2019.
- ^ "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.
- ↑ Et Dieu crea l'Internet , Christian Huitema, ISBN 2-212-08855-8 , 1995, página 10
- ^ 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
Véase también
- Estrategia nacional para la inteligencia artificial
