Science Explorer Interactive view Map
Research facility · Pozuelo de Alarcón · Spain

IMDEA Software Institute

In research, IMDEA Software Institute stands highest in Computer Science (#1,408 of 4,667 worldwide) and Physical Sciences (#7,491 of 12,888 worldwide), 2022–2025. Relative to its size it is most specialised in Artificial Intelligence and Computer Science — Artificial Intelligence is 13.0× its share of world research.

software.imdea.orgROR OpenAlex
World rank, 2022–2025
#14,387
of 28,054 · #11,438 all time
Rank in Spain
#377
of 658
Research works
606
▼ 30% vs 2013–17
Citations
9.6k
15.8 per fractional work
Top-10% rate
32.1%
record average 16.5%
Open access
44%
world 28%

What is IMDEA Software Institute known for in research?

The fields where it stands highest, 2022–2025, ranked among every institution above the floor in each field.

FieldWorld rankWhere that sitsTop-10% rateWorksAll time
Computer ScienceField #1,408 of 4,667 35.3%103 #841
Physical SciencesDomain #7,491 of 12,888 35.2%115 #6804

Each strip is that field’s whole ranked pool, with the notch where IMDEA Software Institute sits in it, in the colour of the band that rank falls in. The track under the rate is the rate itself: it carries no world mark, because the world rate differs by field (from about 6% to 21% in this record).

What does IMDEA Software Institute specialise in?

Where its research is concentrated relative to its size: Artificial Intelligence takes 13.0× the share of its output that it takes of world research.

  1. Artificial IntelligenceSubfield · 41.9 works13×
  2. Computer ScienceField · 103.4 works9.9×
← less than its size predicts1×more →

Location quotient, a volume reading rather than an impact one. It surfaces small, lopsided specialities.

Field profile

Location quotient across every field it publishes in: outside the ring is more than an institution of this size would be expected to publish, inside it is less.

Agricultural and Biological Sciences: 0.01× its world share, 0 worksAgricultural and Bio…Biochemistry, Genetics and Molecular Biology: 0.04× its world share, 0 worksBiochemistry, Geneti…Neuroscience: 0.08× its world share, 0 worksNeurosciencePharmacology, Toxicology and Pharmaceutics: 0.71× its world share, 0 worksPharmacology, Toxico…Chemistry: 0.05× its world share, 0 worksChemistryComputer Science: 9.95× its world share, 103 worksComputer ScienceEarth and Planetary Sciences: 0.24× its world share, 0 worksEarth and Planetary …Energy: 0.09× its world share, 0 worksEnergyEngineering: 0.37× its world share, 7 worksEngineeringEnvironmental Science: 0.13× its world share, 1 worksEnvironmental ScienceMaterials Science: 0.14× its world share, 1 worksMaterials ScienceMathematics: 0.92× its world share, 2 worksMathematicsPhysics and Astronomy: 0.32× its world share, 1 worksPhysics and AstronomyDentistry: 0.13× its world share, 0 worksDentistryHealth Professions: 0.01× its world share, 0 worksHealth ProfessionsMedicine: 0.03× its world share, 1 worksMedicineArts and Humanities: 0.32× its world share, 1 worksArts and HumanitiesBusiness, Management and Accounting: 0.77× its world share, 3 worksBusiness, Management…Decision Sciences: 1.90× its world share, 2 worksDecision SciencesEconomics, Econometrics and Finance: 0.20× its world share, 1 worksEconomics, Econometr…Psychology: 0.09× its world share, 0 worksPsychologySocial Sciences: 0.51× its world share, 9 worksSocial Sciences1×world share
more than its size predictsabout as predictedless

Rings at 0.5×, 1× and 2×. Widest outward: Computer Science, 9.9×. Every wedge is a field page.

Who are the top researchers at IMDEA Software Institute?

Ranked on the composite score, Alessandra Gorla, Gilles Barthe and Dario Fiore lead among researchers whose main affiliation is IMDEA Software Institute.

  1. 1 Alessandra Gorla Spain · #141,701 worldwide 322 citations · 20 works
  2. 2 Gilles Barthe Spain · #176,288 worldwide 482 citations · 100 works
  3. 3 Dario Fiore Spain · #202,736 worldwide 301 citations · 37 works
  4. 4 Boris Köpf Spain · #262,308 worldwide 137 citations · 22 works
  5. 5 Juan Caballero Spain · #308,662 worldwide 163 citations · 18 works
  6. 6 César Sánchez Spain · #315,641 worldwide 227 citations · 42 works
  7. 7 Alexey Gotsman Spain · #317,112 worldwide 125 citations · 25 works
  8. 8 Aleksandar Nanevski Spain · #487,452 worldwide 78 citations · 18 works
  9. 9 Pierre-Yves Strub Spain · #594,586 worldwide 65 citations · 25 works
  10. 10 Pierre Ganty Spain · #1,000,421 worldwide 61 citations · 26 works
All ranked researchers at IMDEA Software Institute

Which keywords describe research at IMDEA Software Institute?

By fractional works in 2022–2025, weighted toward what it does more of than the world: Model Checking, Machine Learning, Security, Temporal Logic, Homomorphic Encryption, Identity-Based Encryption, Privacy and Security Analysis.

▲ more of its work than of the world’s◆ about the world’s share▼ less than the world’s

Size is fractional works in 2022–2025 in the topics tagged with each word; colour is the word's share of this institution's work against its share of the world's. The 40 words are chosen for being large and distinctive. Each links to the topic it comes from most.

All 40 words, with their numbers
  1. Machine Learning20▲ 4.6×18 topics
  2. Model Checking17▲ 281×3 topics
  3. Deep Learning13▲ 2.8×18 topics
  4. Security12▲ 13×8 topics
  5. Temporal Logic11▲ 251×2 topics
  6. Homomorphic Encryption10▲ 173×1 topic
  7. Identity-Based Encryption10▲ 173×1 topic
  8. Privacy9▲ 23×3 topics
  9. Security Analysis9▲ 38×4 topics
  10. Automata8▲ 228×2 topics
  11. Supply Chain Management8▲ 6.7×3 topics
  12. Internet of Things8▲ 7.0×6 topics
  13. Healthcare8▲ 5.2×6 topics
  14. Satisfiability Modulo Theories8▲ 335×1 topic
  15. Symbolic Model Checker8▲ 335×1 topic
  16. Side-Channel Attacks7▲ 119×3 topics
  17. IoT Security7▲ 16×3 topics
  18. Blockchain7▲ 21×1 topic
  19. Smart Contracts7▲ 31×1 topic
  20. Distributed Systems6▲ 28×6 topics
  21. Virtualization6▲ 58×2 topics
  22. Formal Verification6▲ 361×1 topic
  23. Static Analysis6▲ 244×1 topic
  24. Behavioral Analysis6▲ 37×2 topics
  25. Android Malware5▲ 46×1 topic
  26. Detection5▲ 13×1 topic
  27. Control-Flow Integrity5▲ 196×1 topic
  28. Security Policies5▲ 196×1 topic
  29. Data Mining5▲ 4.7×5 topics
  30. Cryptanalysis4▲ 40×4 topics
  31. Knowledge Representation4▲ 38×3 topics
  32. Cloud Computing4▲ 12×4 topics
  33. Description Logics4▲ 66×2 topics
  34. Code Clone Detection4▲ 77×1 topic
  35. Refactoring4▲ 77×1 topic
  36. Automated Testing4▲ 113×1 topic
  37. Fault Tolerance4▲ 19×6 topics
  38. Software Fault Localization4▲ 113×1 topic
  39. Parallel Computing3▲ 21×2 topics
  40. Answer Set Programming3▲ 153×1 topic

Which research topics does IMDEA Software Institute publish most on?

By volume in 2022–2025: Cryptography and Data Security, Formal Methods in Verification, Blockchain Technology Applications and Security and Logic, programming, and type systems.

Cryptography and Data Security: 10 fractional worksFormal Methods in Verification: 8 fractional worksBlockchain Technology Ap…7Blockchain Technology Applications and Security: 7 fractional worksLogic, programming, and …6Logic, programming, and type systems: 6 fractional worksAdvanced Malware Detection Techniques: 5 fractional worksSecurity and Verification in Computing: 5 fractional worksSoftware Engineering Res…4Software Engineering Research: 4 fractional worksSoftware Testing and Debugging Techniques: 4 fractional worksLogic, Reasoning, and Knowledge: 3 fractional worksDistributed systems and fault tolerance: 3 fractional works
Artificial IntelligenceComputational Theory and MathematicsInformation SystemsSignal Processing2 others

Area is fractional works; colour is the subfield each topic belongs to.

  1. 1 Cryptography and Data Security Artificial Intelligence 10 works
  2. 2 Formal Methods in Verification Computational Theory and Mathematics 8 works
  3. 3 Blockchain Technology Applications and Security Information Systems 7 works
  4. 4 Logic, programming, and type systems Artificial Intelligence 6 works
  5. 5 Advanced Malware Detection Techniques Signal Processing 5 works
  6. 6 Security and Verification in Computing Artificial Intelligence 5 works
  7. 7 Software Engineering Research Information Systems 4 works
  8. 8 Software Testing and Debugging Techniques Software 4 works
  9. 9 Logic, Reasoning, and Knowledge Artificial Intelligence 3 works
  10. 10 Distributed systems and fault tolerance Computer Networks and Communications 3 works

How open and international is its research?

Against the world’s own shares — the tick on each track. Both are shares of its output, so they sit on one scale and can be read against each other as well as against the world.

openly available44.0%not open56.0%

World: 28% of research is openly available.

with international co-authors53.1%domestic only46.9%

World: 19% is written across borders.

How has IMDEA Software Institute's research output changed?

Output in 2018–2022 was 30% lower than in 2013–2017.

200020102020
grewheldshrank

The same series as a ribbon — one cell per year, darker for more. The line above answers how much; this answers when.

Other research institutions in Pozuelo de Alarcón

All research institutions in Pozuelo de Alarcón

Research measures only: rankings here say nothing about teaching, admissions or student experience. Comparable institutions and collaboration partners are in the interactive view on the map.