IMDEA Software Institute

IMDEA Software Institute
Name	IMDEA Software Institute
Established	2006
Type	Research institute
Location	Madrid, Spain
Director	Bartolomé Rubio (example)
Focus	Software systems, formal methods, programming languages

IMDEA Software Institute IMDEA Software Institute is a Madrid-based research institute dedicated to advanced research in software systems, formal methods, programming languages, and verification. The institute engages with universities, technology companies, and public bodies to translate foundational research into tools, standards, and industrial practices. Researchers collaborate across European, North American, and international networks to influence software engineering, cybersecurity, and systems verification.

Overview

The institute operates at the intersection of formal methods, programming languages, software engineering, verification, and security with an emphasis on rigorous foundations and practical tooling. It attracts researchers from institutions such as Massachusetts Institute of Technology, Carnegie Mellon University, École Polytechnique Fédérale de Lausanne, University of Cambridge, and Universitat Politècnica de Catalunya. The institute maintains partnerships with companies including Microsoft Research, Google, IBM Research, Amazon Web Services, and Telefonica. Funding sources include regional bodies like Comunidad de Madrid, national agencies such as Spanish Ministry of Science, and European programs like Horizon 2020 and Horizon Europe.

History and Founding

Founded in 2006 during a wave of Spanish research initiatives, the institute emerged alongside sister IMDEA centers including IMDEA Nanoscience and IMDEA Energy. Its establishment involved agreements with the Community of Madrid and coordination with universities like Universidad Carlos III de Madrid and Universidad Autónoma de Madrid. Early leadership included researchers with ties to Stanford University, Princeton University, and INRIA. The institute grew through strategic hires from University of Oxford, Imperial College London, Politecnico di Milano, and University of Edinburgh, expanding its groups in automated reasoning, static analysis, and program synthesis.

Research Areas and Programs

Research programs cover automated theorem proving, model checking, static analysis, program synthesis, concurrent and distributed systems, compilers, runtime verification, type systems, and software testing. Teams publish in venues such as POPL, PLDI, CAV, ICSE, FSE, SOSP, and OSDI. Projects draw on methods from researchers associated with Z3, Coq, Isabelle/HOL, Lean, and ACL2. Work addresses verification for languages like Java, C++, Rust, Python, and JavaScript and targets platforms including Linux, Android, WebAssembly, and Cloud computing infrastructures.

Academic and Industry Collaborations

The institute collaborates with academic partners such as Universidad Politécnica de Madrid, Universidad Complutense de Madrid, Universidad de Zaragoza, University of Oxford, ETH Zurich, Technical University of Munich, and KU Leuven. Industry collaborations include joint work with SAP, Telefonica I+D, BBVA Research, Siemens, Ericsson, SAP SE, and startups spun out from research groups. It participates in EU consortia alongside CERN, EIT Digital, Altair Engineering, and Atos and contributes to standards bodies like ISO and IEEE through members who engage in working groups on verification and software quality.

Education, Outreach, and Postgraduate Training

The institute hosts postdoctoral fellows, PhD students, and visiting scientists from institutions including Università di Bologna, Sorbonne University, University of California, Berkeley, Princeton University, and Yale University. It organizes summer schools, workshops, and seminars in collaboration with conferences such as ICFP Summer School, ETAPS, SPLASH, and FME and offers internships alongside companies like Google DeepMind and Microsoft. Outreach efforts include public lectures in partnership with Museo Nacional Centro de Arte Reina Sofía and participation in regional STEM initiatives tied to Comunidad de Madrid educational programs.

Organization and Governance

Governance structures include a board with representatives from academia, industry, and regional authorities, with oversight mechanisms linking to Comunidad de Madrid and national research councils such as Consejo Superior de Investigaciones Científicas. Scientific advisory boards have included scholars affiliated with Harvard University, University of California, Los Angeles, University of Toronto, and Princeton University. The institute follows employment and intellectual property practices compatible with collaborations with entities like European Commission programs and private partners such as Accenture and Deloitte.

Notable Projects and Impact

Notable projects encompass model checkers, static analyzers, and program synthesis tools that influenced utility in projects associated with OpenJDK, LLVM, Kubernetes, Docker, and Chromium. Contributions have appeared in collaborations tied to European Space Agency, Airbus, Renault, and Telefonica for safety-critical and telecom systems. Research outputs have affected standards and been cited in policy discussions alongside institutions such as European Commission directorates, OECD, and regional science initiatives. Spin-offs and technology transfers have interacted with incubators like Wayra and investors including Seaya Ventures.

Category:Research institutes in Spain