Research facility · founded 2006
IMDEA Software Institute
Pozuelo de Alarcón, Spain · software.imdea.org
- Citations, last 5 years
- 2 661
- Works, last 5 years
- 566
- h-index
- 102
- Scientists listed
- 0
- Grants since 2016
- 21
Grants received
2025–2027 · fellowship · HORIZON - HORIZON-TMA-MSCA-PF-EF
Non-linear Existential Arithmetic Theories
IMDEA Software Institute · funded by HORIZON EUROPE Marie Sklodowska-Curie Actions
2024 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Orden de 26 de diciembre de 2023 por la que se aprueba la convocatoria del año 2023 de ayudas a proyectos de colaboración público-privada (ayudas para actividades no económicas de organismos de investigación).
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2024 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Resolución de 1 de diciembre de 2023 de la Presidencia de la Agencia Estatal de Investigación, por la que se aprueba la convocatoria 2023 de las ayudas Juan de la Cierva.
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2024 · loan · PRÉSTAMO
Orden de 26 de diciembre de 2023 por la que se aprueba la convocatoria del año 2023 de ayudas a proyectos de colaboración público-privada (ayudas para actividades no económicas de organismos de investigación).
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2024 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Resolución de 5 de julio de 2023 de la Presidencia de la Agencia Estatal de Investigación, por la que se aprueba la convocatoria del año 2023 de ayudas para incentivar la consolidación investigadora.
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2023 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Resolución de 6 de octubre de 2023 de la Presidencia de la Agencia Estatal de Investigación por la que se aprueba el segundo procedimiento de concesión directa de ayudas, del año 2023, a «Proyectos de Colaboración Internacional».
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2023 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Orden de 30 de diciembre de 2022 por la que se aprueba la convocatoria 2022 de ayudas a «Proyectos de Generación de Conocimiento» y a actuaciones para la formación de personal investigador predoctoral asociadas a dichos proyectos.
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2023 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Orden de 30 de diciembre de 2022 por la que se aprueba la convocatoria 2022 de ayudas a «Proyectos de Generación de Conocimiento» y a actuaciones para la formación de personal investigador predoctoral asociadas a dichos proyectos.
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2023 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Orden de 30 de diciembre de 2022 por la que se aprueba la convocatoria 2022 de ayudas a «Proyectos de Generación de Conocimiento» y a actuaciones para la formación de personal investigador predoctoral asociadas a dichos proyectos.
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2023 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Resolución de 19 de diciembre de 2022 de la Presidencia de la Agencia Estatal de Investigación, por la que se aprueba la convocatoria 2022 de las ayudas Juan de la Cierva.
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2023 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Orden de 30 de diciembre de 2022 por la que se aprueba la convocatoria 2022 de ayudas a «Proyectos de Generación de Conocimiento» y a actuaciones para la formación de personal investigador predoctoral asociadas a dichos proyectos.
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2022–2027 · research · HORIZON-ERC
Certified Refinement Types
IMDEA Software Institute · funded by HORIZON EUROPE European Research Council
2022 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Orden CIN/1478/2021, de 27 de diciembre, por la que se aprueba la convocatoria 2021 de las ayudas Juan de la Cierva-formación.
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2022 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Resolución de la Presidencia de la Agencia Estatal de Investigación, por la que se aprueba la convocatoria 2018 de ayudas a Contratos Juan de la Cierva formacióndel Plan Estatal 2017-2020
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2022 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Orden CIN/1478/2021, de 27 de diciembre, por la que se aprueba la convocatoria 2021 de las ayudas Ramón y Cajal.
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2022 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Resolución de la Secretaría de Estado de Investigación, Desarrollo e Innovación por la que se aprueba la convocatoria 2015 de Contratos Ramón y Cajal del Plan Estatal 2013-2016
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2022 · grant · SUBVENCIÓN y ENTREGA DINERARIA SIN CONTRAPRESTACIÓN
Orden CIN/1360/2021, de 3 de diciembre, por la que se aprueba la convocatoria 2021 de ayudas a proyectos estratégicos orientados a la transición ecológica y a la transición digital.
IMDEA Software Institute · funded by Agencia Estatal de Investigación
2021–2026 · fellowship · ERC-COG
Cryptography for Privacy and Integrity of Computation on Untrusted Machines
IMDEA Software Institute · funded by H2020 European Research Council
2019–2021 · fellowship · H2020 - MSCA-IF
Accelerated Ordering Service for Distributed Ledgers
IMDEA Software Institute · funded by European Commission
2017–2022 · fellowship · ERC-STG
A Rigorous Approach to Consistency in Cloud Databases
IMDEA Software Institute · funded by H2020 European Research Council
2017–2023 · fellowship · ERC-COG
Type and Proof Structures for Concurrent Software Verification
IMDEA Software Institute · funded by H2020 European Research Council