Hispanopedia Wiki
Articulo de referencia

Instituto de Software IMDEA

Coordenadas : 40°24′25.080″N 3°50′8.717″O / 40,40696667°N 3,83575472°O / 40.40696667; -3.83575472 El Instituto de Software IMDEA (Instituto de Estudios Avanzados en Tecnologías ...

Hispanopedia WikiContenido en espanolLectura gratuita
Coordenadas : 40°24′25.080″N 3°50′8.717″O / 40,40696667°N 3,83575472°O / 40.40696667; -3.83575472

El Instituto de Software IMDEA (Instituto de Estudios Avanzados en Tecnologías de Desarrollo de Software de Madrid) es un instituto de investigación dedicado al avance de los fundamentos científicos y tecnológicos del desarrollo de software. Se centra en generar la ciencia y la tecnología necesarias para garantizar que los sistemas de software sean seguros, fiables y eficientes. [ 1 ] Fue creado en 2006 por la Comunidad de Madrid, en el marco de la iniciativa Institutos de Estudios Avanzados de Madrid ( IMDEA ), y está ubicado en el Campus de Montegancedo de la Universidad Politécnica de Madrid . [ 2 ]

Historia

El instituto fue creado como uno de los siete institutos IMDEA por la Comunidad de Madrid en 2006 para impulsar la investigación científica y la innovación tecnológica en la región. [ 2 ] Está constituido legalmente como una fundación independiente sin ánimo de lucro. [ 1 ]

En 2025, el Instituto de Software IMDEA recibió la acreditación María de Maeztu, que lo reconoce como Unidad de Excelencia en Investigación. [ 3 ]

Investigación

El Instituto de Software IMDEA se centra en el avance de la ciencia y la tecnología necesarias para desarrollar software de alta calidad, fiable, seguro y eficiente. Su investigación se concentra principalmente en tres áreas: [ 4 ]

  • Lógica y verificación : Esta área desarrolla marcos y herramientas para garantizar la corrección del software en cuanto a funcionalidad, eficiencia y uso de recursos, aspectos cruciales para campos como la aviónica y las tecnologías financieras. La investigación incluye la verificación de sistemas concurrentes y técnicas de análisis estático. [ 5 ] [ 6 ] [ 7 ] [ 8 ]
  • Lenguajes de Programación e Ingeniería de Software : Esta investigación proporciona herramientas para crear código claro y modular, centrándose en lenguajes de programación que expresan propiedades complejas y técnicas para simplificar la programación. Incluye trabajos sobre sistemas de tipos, compilación y aplicaciones de IA para mejorar el rendimiento del sistema. [ 9 ] [ 10 ] [ 11 ]
  • Seguridad y criptografía : Esta área tiene como objetivo proteger los cálculos y el almacenamiento de datos en entornos hostiles, centrándose en la criptografía, la seguridad de redes, el análisis de malware y las tecnologías que mejoran la privacidad. [ 9 ] [ 12 ] [ 11 ] [ 13 ]

Subvenciones del Consejo Europeo de Investigación (ERC)

El Instituto de Software IMDEA ha obtenido varias subvenciones del Consejo Europeo de Investigación (ERC):

MadQuantum-CM

MadQuantum-CM es uno de los proyectos de investigación clave de IMDEA Software. Se centra en la ciberseguridad cuántica mediante la mejora de las comunicaciones seguras a través de una red escalable de distribución de claves cuánticas (QKD). Liderado por un consorcio que incluye a la Universidad Politécnica de Madrid e IMDEA Software, MadQuantum-CM integra redes definidas por software (SDN) y conmutadores totalmente ópticos para establecer dinámicamente enlaces cuánticos a través de nueve nodos interconectados en el área metropolitana de Madrid. Esta iniciativa admite una amplia gama de tecnologías y protocolos QKD, promoviendo la interoperabilidad y la integración de nuevos dispositivos, y estableciendo un modelo para futuras infraestructuras de comunicación cuántica como el proyecto EuroQCI. [ 18 ] [ 19 ] El proyecto MadQuantum-CM forma parte de esfuerzos más amplios para fortalecer la posición de Madrid en comunicaciones cuánticas seguras, con una financiación total de 73 millones de euros procedentes de la Comunidad de Madrid , el Gobierno español, la Unión Europea y otros patrocinadores. [ 20 ] [ 21 ]

Gobernancia

El instituto funciona como una fundación independiente gobernada por un consejo de administración, compuesto por representantes de la academia, la industria y el gobierno. [ 22 ] Un consejo asesor científico, integrado por académicos internacionales, brinda orientación sobre la estrategia científica y las actividades de investigación del instituto. Está compuesto por Roberto Di Cosmo , Gustavo Alonso , María Alpuente, Anindya Banerjee, Patrick Cousot , Veronica Dahl , José Meseguer , Luís Moniz Pereira , Catuscia Palamidessi , Marta Patiño, Martin Wirsing y Andreas Zeller. [ 23 ]

Cobertura mediática

La investigación del instituto ha obtenido una considerable atención mediática. Sus contribuciones a la investigación sobre seguridad en criptografía fueron cubiertas por The Economist . [ 24 ] Además, su desarrollo de una herramienta para rastrear el cibercrimen fue cubierto por varios medios importantes, incluido COPE . [ 25 ] Su red de comunicación cuántica fue cubierta por La Vanguardia . [ 26 ] Su investigación sobre amenazas de seguridad en hogares inteligentes ha sido cubierta por El País , [ 27 ] ElDiario.es , [ 28 ] y 20 Minutos . [ 29 ] Además, la investigación sobre los aspectos económicos del cibercrimen, específicamente las fortunas ocultas y las sobreestimaciones en los ingresos del cibercrimen, fue destacada por Eurasia Review , [ 30 ] Europa Press , [ 31 ] y Madrimasd . [ 32 ] La investigación sobre el uso de números de teléfono desechables en fraudes en línea también fue presentada en un artículo de ADSLZone. [ 33 ] Por último, las riquezas ocultas del cibercrimen fueron exploradas en detalle por Knowridge Science Report [ 34 ] y El Mundo . [ 35 ]

Véase también

Referencias

  1. ^ a b "Acerca de - El Instituto de Software IMDEA" . software.imdea.org . Consultado el 31 de mayo de 2024 .
  2. ^ a b "Institutos IMDEA: 15 años investigando y transfiriendo conocimiento a la sociedad" . El Español (en español). 2022-11-14 . Consultado el 31 de mayo de 2024 .
  3. ^ "Propuesta de resolución provisional de la convocatoria 2024 para la concesión de las acreditaciones y ayudas públicas de centros de excelencia "severo ochoa" y de unidades de excelencia "maría de maeztu" asociadas a dichas acreditaciones, del subprograma estatal de fortalecimiento institucional" (PDF) . Agencia estatal de investigación . 2025-04-25 . Consultado el 28 de mayo de 2025 .
  4. ^ Estructura organizativa del software IMDEA
  5. ^ Farka, František; Nanevski, Aleksandar; Banerjee, Anindya; Delbianco, Germán Andrés; Fábregas, Ignacio (6 de octubre de 2020), Sobre abstracciones algebraicas para lógicas de separación concurrentes (artefacto) , doi : 10.5281/zenodo.4118715 , consultado el 3 de junio de 2024
  6. ^ Borkowski, Michael H.; Vazou, Niki; Jhala, Ranjit (2024-01-05). "Mecanización de tipos de refinamiento" . Actas de la ACM sobre lenguajes de programación . 8 : 2099–2128 . doi : 10.1145/3632912 .
  7. ^ Benarroch, Daniel; Campanelli, Matteo; Fiore, Dario; Gurkan, Kobi; Kolonelos, Dimitris (2023-11-01). "Pruebas de conocimiento cero para la pertenencia a conjuntos: eficientes, concisas y modulares" . Designs, Codes and Cryptography . 91 (11): 3457– 3525. doi : 10.1007/s10623-023-01245-1 . ISSN 1573-7586 . 
  8. ^ Gallagher, John P.; Hermenegildo, Manuel; Morales, José; Lopez-Garcia, Pedro (2023). "Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation" . En Glück, Robert; Kafle, Bishoksan (eds.). Logic-Based Program Synthesis and Transformation . Lecture Notes in Computer Science. Vol. 14330. Cham: Springer Nature Switzerland. pp.  28–38 . doi : 10.1007/978-3-031-45784-5_3 . ISBN 978-3-031-45784-5.
  9. ^ a b Caballero, Juan; Gomez, Gibran; Matic, Srdjan; Sánchez, Gustavo; Sebastián, Silvia; Villacañas, Arturo (2023-07-01). "El auge de GoodFATR: una nueva metodología de comparación de precisión para herramientas de extracción de indicadores" . Future Generation Computer Systems . 144 : 74–89 . doi : 10.1016/j.future.2023.02.012 . hdl : 2434/1145175 . ISSN 0167-739X . 
  10. ^ Garcia-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V. (marzo de 2021). "Análisis incremental y modular sensible al contexto" . Theory and Practice of Logic Programming . 21 (2): 196– 243. doi : 10.1017/S1471068420000496 . ISSN 1471-0684 . 
  11. ^ a b "Investigadores crean técnicas de verificación innovadoras para aumentar la seguridad en inteligencia artificial y procesamiento de imágenes" . ERC . 26 de marzo de 2024. Consultado el 31 de mayo de 2024 .
  12. ^ Barthe, Gilles; Gourjon, Marc; Grégoire, Benjamin; Orlt, Maximilian; Paglialonga, Clara; Porth, Lars (23 de febrero de 2021). "Enmascaramiento en modelos de fuga de grano fino: construcción, implementación y verificación" . IACR Transactions on Cryptographic Hardware and Embedded Systems : 189–228 . doi : 10.46586/tches.v2021.i2.189-228 . ISSN 2569-2925 . 
  13. ^ Bravo, Manuel; Chockler, Gregory; Gotsman, Alexey (1 de diciembre de 2022). "Haciendo realidad el consenso bizantino" . Computación distribuida . 35 (6): 503– 532. doi : 10.1007/s00446-022-00432-y . ISSN 1432-0452 . 
  14. ^ "Tipos de refinamiento certificados | CRETE | Projekt | Hoja informativa | HORIZON" . CORDIS | Comisión Europea . doi : 10.3030/101039196 . Consultado el 11 de junio de 2025 .
  15. ^ "Criptografía para la privacidad e integridad de la computación en máquinas no confiables | PICOCRYPT | Proyecto | Hoja informativa | H2020" . CORDIS | Comisión Europea . doi : 10.3030/101001283 . Consultado el 11 de junio de 2025 .
  16. ^ "Estructuras de tipos y pruebas para la verificación concurrente de software | Mathador | Projekt | Hoja informativa | H2020" . CORDIS | Comisión Europea . doi : 10.3030/724464 . Consultado el 11 de junio de 2025 .
  17. ^ "Un enfoque riguroso para la coherencia en las bases de datos en la nube | RACCOON | Proyecto | Hoja informativa | H2020" . CORDIS | Comisión Europea . doi : 10.3030/714729 . Consultado el 11 de junio de 2025 .
  18. ^ Choucair, Cierra (04/09/2024). "MadQCI: Una red escalable de distribución de claves cuánticas que mejora la infraestructura de comunicaciones seguras" . The Quantum Insider . Consultado el 24/06/2025 .
  19. ^ Martín, V.; Brito, JP; Ortíz, L.; Méndez, RB; Buruaga, JS; Vicente, RJ; Sebastián-Lombraña, A.; Rincón, D.; Pérez, F.; Sánchez, C.; Peev, M.; Brunner, HH; Fung, F.; Poppe, A.; Fröwis, F. (2 de septiembre de 2024). «MadQCI: una red SDN-QKD heterogénea y escalable desplegada en instalaciones de producción» . npj Información cuántica . 10 (1) 80: 1– 11. arXiv : 2311.12791 . Código Bib : 2024npjQI..10...80M . doi : 10.1038/s41534-024-00873-2 . ISSN 2056-6387 . 
  20. ^ Abdel-Kareem, Mohamed (5 de marzo de 2025). "Madrid impulsa las comunicaciones cuánticas seguras con el proyecto MadQuantum-CM de 73 millones de euros (78,81 millones de dólares estadounidenses)" . Informe de computación cuántica . Consultado el 24 de junio de 2025 .
  21. ^ Dorado, Marta (04-03-2025). "Madrid lidera el desarrollo de comunicaciones cuánticas seguras a través del proyecto MadQuantum-CM" . IMDEA Networks . Recuperado el 10-07-2025 .
  22. ^ "Consejo de Administración - Instituto de Software IMDEA" . software.imdea.org . Consultado el 22 de mayo de 2025 .
  23. ^ "Consejo Asesor Científico - Instituto de Software IMDEA" . software.imdea.org . Consultado el 22 de mayo de 2025 .
  24. ^ "La ley y las consecuencias no deseadas" . The Economist . ISSN 0013-0613 . Consultado el 6 de junio de 2025 . 
  25. ^ Madrid, Comunidad de (4 de enero de 2023). «La Comunidad de Madrid desarrolla una herramienta para rastrear el cibercrimen de Bitcoins» . COPE (en español) . Consultado el 25 de septiembre de 2024 .
  26. ^ "La red de comunicación cuántica de Madrid despliega su primera fase" . La Vanguardia (en español). 2021-03-24 . Consultado el 12 de julio de 2024 .
  27. ^ Colomé, Jordi Pérez (30 de octubre de 2023). "Así nos espían los dispositivos inteligentes y revelan información de nuestras casas: "La gente no tiene ni idea"» . El País (en español) . Consultado el 12 de julio de 2024 .
  28. ^ "Científicos advierten de las amenazas de seguridad en los hogares "inteligentes"" . ElDiario.es (en español). 26-10-2023 . Consultado el 12-07-2024 .
  29. ^ "Estudio: espiarte y robarte con dispositivos inteligentes en el hogar" . 20 Minutos . 2023-10-27.
  30. ^ "Investigadores de IMDEA Software revelan fortunas ocultas y sorprendentes sobreestimaciones en los ingresos del cibercrimen" . Eurasia Review . 17 de diciembre de 2023.
  31. ^ "Estudio de IMDEA y UC3M revela abuso generalizado de números de teléfono desechables en fraudes online" . Prensa Europea . 2023-12-19.
  32. ^ "Investigadores de IMDEA Software revelan fortunas ocultas y sobreestimaciones sorprendentes en los ingresos de la ciberdelincuencia" . Madrimasd . 2023-12-19.
  33. ^ "Alertan del preocupante crecimiento de uso de esta clásica función de nuestro móvil para robar nuestros datos" . ADSLZona (en español) . Consultado el 25 de septiembre de 2024 .
  34. ^ "Las riquezas ocultas del cibercrimen: una mirada sorprendente a las ganancias de Bitcoin" . Informe científico de Knowridge . 19 de diciembre de 2023.
  35. ^ "Se revela el 'botín' robado por los cibercriminales del Bitcoin: 39 veces mayor a las estimaciones realizadas" . ELMUNDO (en español). 2023-12-15 . Consultado el 25 de septiembre de 2024 .
  • Sitio web oficial del Instituto de Software IMDEA
  • Comunidad de Madrid
  • Madri+d
Obtenido de " https://en.wikipedia.org/w/index.php?title=IMDEA_Software_Institute&oldid=1334432035 "