Instituto IMDEA Software
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]
- ↑ IMDEA Página IMDEA en wikipedia
- ↑ Iniciativa IMDEA Los IMDEA son centros de investigación de excelencia
- ↑ InnovaSpain IMDEA: la herramienta de la Comunidad de Madrid que investiga, divulga y da resultados
- ↑ ABC Los siete Institutos de I+D de Madrid generaron 41,4 millones de euros
- ↑ La Razón La Comunidad impulsa los Institutos de Estudios Avanzados
- ↑ Comunidad de Madrid IV Plan Regional de de Investigación Científica e Innovación Tecnológica (PRICIT)
- ↑ Comunidad de Madrid Estrategia Regional de Investigación e Innovación 2014-2020 (RIS3)
- ↑ Memoria Anual 2018
- ↑ UPM Campus Tecnológico de Montegancedo
- ↑ Madridiario IMDEA Software: Madrid, en la Champions de la ciencia europea
- ↑ Roberto Di Cosmo Página personal del profesor de informática
- ↑ Instituto IMDEA Software Personal Instituto IMDEA Software
- ↑ CS Rankings Computer Science Rankings
- ↑ Europa Press Puesto IMDEA Software ranking internacional
- ↑ Web IMDEA Software Líneas de investigación del Instituto IMDEA Software
- ↑ Instituto IMDEA Software Personal Instituto IMDEA Software
- ↑ RACCOON Estado del proyecto
- ↑ Gordis Europa Ficha informativa del proyecto MATHADOR
External links[editar]
- Community of Madrid
- Madri+d
- IMDEA
- IMDEA Water Institute
- IMDEA Food Institute
- IMDEA Energy Institute
- IMDEA Materials Institute
- IMDEA Nanoscience Institute
- IMDEA Networks Institute
- Report of the IMDEA Software Institute
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.