Top Qs
Timeline
Chat
Perspective
IMDEA Software Institute
Scientific software research institute From Wikipedia, the free encyclopedia
Remove ads
The IMDEA Software Institute (Madrid Institute for Advanced Studies in Software Development Technologies) is a research institute dedicated to advancing the scientific and technological foundations of software development. It focuses on producing the science and technology necessary to ensure that software systems are safe, reliable, and efficient.[1] It was established in 2006 by the Madrid Regional Government, as part of the Madrid Institutes for Advanced Studies (IMDEA) initiative and is located at the Montegancedo Campus of the Polytechnic University of Madrid.[2]
Remove ads
History
The Institute was established as one of the seven IMDEA institutes by the Madrid Regional Government in 2006 to enhance scientific research and technological innovation in the region.[2] It is legally constituted as an independent, non-profit foundation.[1]
In 2025, the IMDEA Software Institute received the María de Maeztu accreditation, recognizing it as a Unit of Excellence in Research.[3]
Research
Summarize
Perspective
The IMDEA Software Institute focuses on advancing the science and technology needed to develop high-quality, reliable, secure, and efficient software. Its research is primarily concentrated on three areas:[4]
- Logic and Verification: This area develops frameworks and tools to ensure software correctness in functionality, efficiency, and resource use, crucial for fields like avionics and financial technologies. Research includes verification of concurrent systems and static analysis techniques.[5][6][7][8]
- Programming Languages and Software Engineering: This research provides tools for creating clear and modular code, focusing on programming languages that express complex properties and techniques to simplify programming. It includes work on type systems, compilation, and AI applications to improve system performance.[9][10][11]
- Security and Cryptography: This area aims to secure computations and data storage in hostile environments, focusing on cryptography, network security, malware analysis, and privacy-enhancing technologies.[9][12][13][14]
European Research Council (ERC) grants
The IMDEA Software Institute has secured several ERC grants:
MadQuantum-CM
MadQuantum-CM is one of IMDEA Software's key research project. It focuses on quantum cybersecurity by enhancing secure communications through a scalable quantum key distribution (QKD) network. Led by a consortium including the Technical University of Madrid and IMDEA Software, MadQuantum-CM integrates software-defined networking (SDN) and all-optical switches to dynamically establish quantum links across nine interconnected nodes in the Madrid metropolitan area. This initiative supports a wide range of QKD technologies and protocols, promoting interoperability and the integration of new devices, and setting a blueprint for future quantum communication infrastructures such as the EuroQCI project.[19][20] The MadQuantum-CM project is part of broader efforts to strengthen Madrid's position in secure quantum communications, with a overall funding of €73 million from the Regional Government of Madrid, the Spanish Government, the European Union, and further supporters.[21][22]
Remove ads
Governance
The institute operates as an independent foundation governed by a board of trustees, comprising representatives from academia, industry, and government.[23] A scientific advisory board, consisting of international academics, provides guidance on the institute's scientific strategy and research activities. It is composed of 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, and Andreas Zeller.[24]
Media Coverage
The institute's research has garnered substantial media attention. Their contributions to safety research in cryptography were cover by The Economist.[25] Additionally, their development of a tool for tracking cybercrime was covered by several major outlets, including COPE.[26] Their quantum communication network was covered by La Vanguardia.[27] Their research on security threats in smart homes has been covered by El País,[28] ElDiario.es,[29] and 20 Minutos.[30] Additionally, research on the economic aspects of cybercrime, specifically the hidden fortunes and overestimations in cybercrime revenue, was highlighted by Eurasia Review,[31] Europa Press,[32] and Madrimasd.[33] The investigation into the use of disposable phone numbers in online frauds was also featured in an article by ADSLZone.[34] Lastly, the hidden riches of cybercrime were explored in detail by Knowridge Science Report[35] and El Mundo.[36]
Remove ads
References
External Links
See Also
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads