Welcome to EverybodyWiki 😃 ! Nuvola apps kgpg.png Log in or ➕👤 create an account to improve, watchlist or create an article like a 🏭 company page or a 👨👩 bio (yours ?)...

Instituto IMDEA Software

De EverybodyWiki Bios & Wiki

Error de Lua en Módulo:Categorización_de_buenos_y_destacados en la línea 212: attempt to index field 'wikibase' (a nil value).

El Instituto IMDEA Software es uno de los siete centros internacionales de investigación que forman parte de la iniciativa IMDEA[1][2] (Institutos Madrileños de Estudios Avanzados)[3][4], creada por la Comunidad de Madrid[5] en 2006, incluida en el IV Plan Regional de Investigación Científica e Innovación Tecnológica (PRICIT) [6] y la Estrategia Regional de Investigación e Innovación (RIS3) [7]. El Instituto, con sede en Madrid, España, lleva a cabo una transferencia tecnológica [8] a través de la investigación de la ciencia y la tecnología necesarias para la creación de un software fiable, escalable y seguro [9][10].

Organización[editar]

El Instituto IMDEA Software es una fundación sin ánimo de lucro que se gestiona de manera independiente. Su estructura organizativa la lidera su patronato -órgano de gobierno de la fundación- presidido en la actualidad por Roberto Di Cosmo[11], el consejo científico y una comisión delegada. Cuenta con una masa creciente de investigadores de todas partes del mundo, un equipo directivo y personal de administración, proyectos, sistemas y comunicación[12].

Investigación[editar]

El Instituto IMDEA Software realiza investigación para avanzar en la ciencia y tecnología que permita el desarrollo de software con una funcionalidad sofisticada y de alta calidad en términos de seguridad, fiabilidad y eficiencia. Ocupa el séptimo puesto en el área de lenguajes de programación y verificación, del CS Rankings[13][14], posición cercana a la de ETH Zurich o la Universidad de Oxford. Su foco de investigación se centra en tres principales áreas estratégicas[15]:

  • Seguridad y privacidad
  • Análisis y verificación de programas
  • Lenguajes, compiladores y sistemas

La fundación cuenta con un equipo de más de 70 investigadores [16] divididos de la siguiente manera:

Faculty Faculty (Visitantes y Afiliados) Post doctorales Investigadores programadores Estudiantes de doctorado Estudiantes en prácticas
17 5 8 3 24 15

Financiación[editar]

El 45% del presupuesto que maneja la fundación proviene de convocatorias de financiación competitivas y el resto, de la Comunidad de Madrid. A lo largo de su historia, entre otros, ha logrado obtener dos convocarias del Consejo Europeo de Investigación (ERC) por valor de 3,5 millones de euros por los proyectos: "RACCOON: A Rigorous Approach to Consistency in Cloud Databases"[17] y "MATHADOR: Type and Proof Structures for Concurrent Software Verification"[18]

Referencias[editar]

  1. IMDEA Página IMDEA en wikipedia
  2. Iniciativa IMDEA Los IMDEA son centros de investigación de excelencia
  3. InnovaSpain IMDEA: la herramienta de la Comunidad de Madrid que investiga, divulga y da resultados
  4. ABC Los siete Institutos de I+D de Madrid generaron 41,4 millones de euros
  5. La Razón La Comunidad impulsa los Institutos de Estudios Avanzados
  6. Comunidad de Madrid IV Plan Regional de de Investigación Científica e Innovación Tecnológica (PRICIT)
  7. Comunidad de Madrid Estrategia Regional de Investigación e Innovación 2014-2020 (RIS3)
  8. Memoria Anual 2018
  9. UPM Campus Tecnológico de Montegancedo
  10. Madridiario IMDEA Software: Madrid, en la Champions de la ciencia europea
  11. Roberto Di Cosmo Página personal del profesor de informática
  12. Instituto IMDEA Software Personal Instituto IMDEA Software
  13. CS Rankings Computer Science Rankings
  14. Europa Press Puesto IMDEA Software ranking internacional
  15. Web IMDEA Software Líneas de investigación del Instituto IMDEA Software
  16. Instituto IMDEA Software Personal Instituto IMDEA Software
  17. RACCOON Estado del proyecto
  18. Gordis Europa Ficha informativa del proyecto MATHADOR

External links[editar]


Este artículo "Instituto IMDEA Software" es de Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Instituto IMDEA Software.



Read or create/edit this page in another language

Las cookies nos ayudan a ofrecer nuestros servicios. Al utilizar nuestros servicios, aceptas nuestro uso de cookies.