Fundacion Imdea Software

Where the EU money came from

Funding by EU programme. Amounts are Fundacion Imdea Software's own share of each project, not the project's full budget.

Projects

27 EU-funded projects, newest first. Fundacion Imdea Software led 12 of them as coordinator. Each links to the official record.

• VERIFHECoordinator

  An Open-Source Library for Verifiable Fully Homomorphic Encryption for Trustworthy Machine Learning

  Horizon Europe · 2026–2028 · Project on CORDIS ↗

  €150ktheir share
• PrimulaCoordinator

  Principled Microarchitectural Security with Leakage Contracts

  Horizon Europe · 2026–2031 · Project on CORDIS ↗

  €2.0Mtheir share
• NEATCoordinator

  Non-linear Existential Arithmetic Theories

  Horizon Europe · 2025–2027 · Project on CORDIS ↗

  €181ktheir share
• VALIDATEAssociated partner

  VALIDATing SEcurity Safeguards in Binaries Compiled with Memory-Safe Languages Pre-Execution

  Horizon Europe · 2025–2027 · Project on CORDIS ↗
• NIGHTMADRIDPartner

  Researchers and citizen creating together a better future

  Horizon Europe · 2024–2026 · Project on CORDIS ↗

  €6ktheir share
• CONFIDENTIAL6GPartner

  Confidential Computing and Privacy-preserving Technologies for 6G

  Horizon Europe · 2023–2025 · Project on CORDIS ↗

  €365ktheir share
• CRETECoordinator

  Certified Refinement Types

  Horizon Europe · 2022–2027 · Project on CORDIS ↗

  €1.5Mtheir share
• MADRIDNIGHTPartner

  Researchers and citizens: facing together the European challenges

  Horizon Europe · 2022–2024 · Project on CORDIS ↗

  €5ktheir share
• PICOCRYPTCoordinator

  Cryptography for Privacy and Integrity of Computation on Untrusted Machines

  Horizon 2020 · 2021–2027 · Project on CORDIS ↗

  €2.0Mtheir share
• OPENQKDPartner

  Open European Quantum Key Distribution Testbed

  Horizon 2020 · 2019–2023 · Project on CORDIS ↗

  €161ktheir share
• ACCORDCoordinator

  Accelerated Ordering Service for Distributed Ledgers

  Horizon 2020 · 2019–2021 · Project on CORDIS ↗

  €173ktheir share
• MathadorCoordinator

  Type and Proof Structures for Concurrent Software Verification

  Horizon 2020 · 2017–2023 · Project on CORDIS ↗

  €2.0Mtheir share
• RACCOONCoordinator

  A Rigorous Approach to Consistency in Cloud Databases

  Horizon 2020 · 2017–2022 · Project on CORDIS ↗

  €1.5Mtheir share
• ELASTESTPartner

  ElasTest: an elastic platform for testing complex distributed large software systems

  Horizon 2020 · 2017–2019 · Project on CORDIS ↗

  €289ktheir share
• NEXTLEAPPartner

  NEXTLEAP

  Horizon 2020 · 2016–2018 · Project on CORDIS ↗

  €149ktheir share
• FI-CorePartner

  Future Internet - Core

  FP7 (2007 to 2013) · 2014–2016 · Project on CORDIS ↗

  €201ktheir share
• I3HPartner

  I3H - EIT ICT Labs Incubating Internet Innovation Hubs

  FP7 (2007 to 2013) · 2014–2016 · Project on CORDIS ↗

  €152ktheir share
• VeriStabCoordinator

  Formal Verification of Stability of Embedded Control Systems

  FP7 (2007 to 2013) · 2014–2018 · Project on CORDIS ↗

  €100ktheir share
• POLCAPartner

  Programming Large Scale Heterogeneous Infrastructures

  FP7 (2007 to 2013) · 2013–2016 · Project on CORDIS ↗

  €200ktheir share
• ADVENTCoordinator

  Architecture-driven verification of systems software

  FP7 (2007 to 2013) · 2013–2016 · Project on CORDIS ↗

  €312ktheir share
• AMAROUT-IICoordinator

  AMAROUT-II EUROPE

  FP7 (2007 to 2013) · 2012–2017 · Project on CORDIS ↗

  €4.2Mtheir share
• ENTRAPartner

  Whole-Systems Energy Transparency

  FP7 (2007 to 2013) · 2012–2015 · Project on CORDIS ↗

  €486ktheir share
• VARIESPartner

  VARiability In safety critical Embedded Systems

  FP7 (2007 to 2013) · 2012–2015 · Project on CORDIS ↗

  €59ktheir share
• NESSoSPartner

  Network of Excellence on Engineering Secure Future Internet Software Services and Systems

  FP7 (2007 to 2013) · 2010–2014 · Project on CORDIS ↗

  €333ktheir share
• 4CaaSTPartner

  Building the PaaS Cloud of the Future

  FP7 (2007 to 2013) · 2010–2013 · Project on CORDIS ↗

  €80ktheir share
• AMAROUTCoordinator

  AMAROUT Europe

  FP7 (2007 to 2013) · 2009–2013 · Project on CORDIS ↗

  €3.7Mtheir share
• HATSPartner

  Highly Adaptable and Trustworthy Software using Formal Models

  FP7 (2007 to 2013) · 2009–2013 · Project on CORDIS ↗

Works most with

Organisations that shared the most EU projects with this one. A good starting list for consortium partners.

• Universidad Politecnica de MadridSpain · 7 shared projects
• Fraunhofer Gesellschaft zur Forderung der Angewandten Forschung eVGermany · 4 shared projects
• Universidad Rey Juan CarlosSpain · 4 shared projects
• Katholieke Universiteit LeuvenBelgium · 3 shared projects
• Institut National de Recherche en Informatique et AutomatiqueFrance · 3 shared projects
• Atos Spain SASpain · 3 shared projects
• Universidad Complutense de MadridSpain · 3 shared projects
• Orange SAFrance · 3 shared projects
• Telecom Italia SpA O Tim SpAItaly · 3 shared projects
• Telefonica Innovacion Digital SLSpain · 3 shared projects
• Fundacion IMDEA EnergiaSpain · 3 shared projects
• Centre National de la Recherche Scientifique CNRSFrance · 2 shared projects
• Max-Planck-Gesellschaft zur Forderung der Wissenschaften eVGermany · 2 shared projects
• Agencia Estatal Consejo Superior de Investigaciones CientificasSpain · 2 shared projects
• Technische Universiteit DelftNetherlands · 2 shared projects
• Consiglio Nazionale Delle RicercheItaly · 2 shared projects

Fields it works in

Research fields recorded on its Horizon projects.

• 5G
• applied mathematics
• arithmetics
• automation
• big data
• combinatorics
• computer processors
• computer security
• control systems
• criminology
• cryptography
• data processing
• databases
• e-commerce