Skip to content

Research facility · founded 2006

IMDEA Software Institute

Pozuelo de Alarcón, Spain · software.imdea.org

Part of Madrid Institute for Advanced Studies

Manage this page

Citations, last 5 years: 2 661
Works, last 5 years: 566
h-index: 102
Scientists listed: 0
Grants since 2016: 21

Strongest research topics

Logic, programming, and type systems785Computer Science
Formal Methods in Verification607Computer Science
Cryptography and Data Security293Computer Science
Software Testing and Debugging Techniques257Computer Science
Security and Verification in Computing222Computer Science
Logic, Reasoning, and Knowledge160Computer Science