The IMDEA Software Institute is an international research center based in Madrid, Spain, dedicated to advancing the development of reliable, secure, efficient, and trustworthy software systems. As part of the IMDEA (Institutos Madrileños de Estudios Avanzados) ecosystem—an initiative supported by the Regional Government of Madrid—our mission is to produce cutting-edge scientific research while enabling technology transfer and real-world innovation.

Our research covers both theoretical and practical aspects of software development, with focus areas that include:

• Logic and Verification
• Programming Languages and Software Engineering
• Security and Cryptography

We bring together a highly international and interdisciplinary team of researchers, postdocs and PhD students. The institute collaborates actively with academic institutions, research labs, and industrial partners across the globe. Many of our projects address critical technological and societal challenges, such as formal guarantees of software correctness, secure communication, cryptographic protocols, and privacy-enhancing technologies.

IMDEA Software promotes open science, innovation, and the training of new generations of researchers in an environment that values scientific excellence, collaboration, and impact.