De Wikipedia, la enciclopedia libre
Saltar a navegación Saltar a búsqueda

El Instituto Nacional de Investigación en Ciencias de la Computación y Automatización ( Inria ) ( francés : Institut national de recherche en informatique et en automatique ) es una institución de investigación nacional francesa que se centra en la informática y las matemáticas aplicadas . Fue creado bajo el nombre de Institut de recherche en informatique et en automatique ( IRIA ) en 1967 en Rocquencourt cerca de París , parte del Plan Calcul . Su primer sitio fue el local histórico de SHAPE (comando central de la OTANfuerzas militares), que todavía se utiliza como sede 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 de Educación Nacional, Instrucción Avanzada e Investigación de Francia y del Ministerio de Economía, Finanzas e Industria .

Estado administrativo [ editar ]

Dos sillas en un porche de hormigón de un edificio rectilíneo con vistas a las colinas y al bosque verde
Parte de Inria en Valbonne

Inria cuenta con 8 centros de investigación distribuidos en Francia (en Burdeos , Grenoble - Inovallée , Lille , Nancy , París - Rocquencourt , Rennes , Saclay y Sophia Antipolis ) y un centro en el exterior en Santiago de Chile , Chile . También contribuye a equipos de investigación académica fuera de esos centros.

Antes de diciembre de 2007, los tres centros de Burdeos, Lille y Saclay formaron un único centro de investigación llamado INRIA Futurs.

En octubre de 2010, Inria, con la Universidad Pierre y Marie Curie y la Universidad Paris Diderot, inició IRILL , un centro de innovación e iniciativa de investigación para software libre.

Inria emplea a 3800 personas. Entre ellos se encuentran 1300 investigadores, 1000 Ph.D. estudiantes y 500 postdoctorados.

Investigación [ editar ]

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 de Scheme
  • CADP , una caja de herramientas para la verificación de sistemas concurrentes asíncronos
  • Caml , un idioma de la familia ML
    • Implementaciones de Caml Light y OCaml
  • ChorusOS , sistema operativo distribuido
  • CompCert , compilador C verificado para PowerPC, ARM y x86_32
  • Estela [2]
  • Coq , asistente de pruebas
  • Eigen (biblioteca C ++)
  • Esterel , un lenguaje de programación para autómatas estatales
  • Geneauto: generación de código a partir del modelo [3]
  • Gudhi: una biblioteca C ++ con interfaz Python para topología computacional y análisis de datos topológicos [4]
  • Graphite, una plataforma de investigación para infografías, modelado 3D y geometría numérica
  • medInria, un software de procesamiento de imágenes médicas, utilizado popularmente para imágenes de resonancia magnética. [5]
  • 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] .
  • Le Lisp , una implementación Lisp portátil
  • Scilab , un paquete de software de cálculo numérico
  • scikit-learn , un paquete de software de aprendizaje automático
  • 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 servo visual de código abierto
  • XtreemFS [2]
  • XtreemOS

Además, Inria lidera la investigación francesa de inteligencia artificial, ocupando el puesto 12 en todo el mundo en 2019, según las publicaciones aceptadas en la prestigiosa Conferencia sobre Sistemas de Procesamiento de Información Neural . [6]

Referencias [ editar ]

  1. ^ (en francés) Décret # 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. ↑ a b Versweyveld, Leslie (30 de octubre de 2012). "El proyecto Contrail se enorgullece de presentar su primer conjunto completo de herramientas de federación en la nube 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. ^ "Conjunto de herramientas Geneauto / P - El conjunto de herramientas P incluye un marco de verificación y generación de código para los idiomas admitidos por el entorno TOPCASED" . Scilab .
  4. ^ "Gudhi, INRIA" .
  5. ^ "medInria" .
  6. ^ "Estadísticas de NeurIPS 2019" .

Lectura adicional [ editar ]

  • 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 2-86883-806-5.

Enlaces externos [ editar ]

  • Sitio web oficial (en inglés)