English
Español
IMDEA initiative
About
Legal Status
Organizational Structure
Board of Trustees
Scientific Advisory Board
Annual Reports
Anti-Fraud Measures
Partners
Industrial Partnership
Academic Agreements
EIT Digital
Microsoft Research Joint Research Center
Telefónica Joint Research Unit
REDIMadrid
People
Faculty
Postdocs
Research Students
Interns
Administration
Project Staff
Technicians
Former Visitors
Former Researchers
Alumni
Gender Equality Plan
HRS4R
Open Positions
Faculty
Postdoctoral Researchers
PhD Students
Internships
Curricular Internships
Research
Tools
Publications
Events
Invited Talks
Software Seminar Series (S3)
Activities towards transversal capabilities
Contact
Transparency Portal
Institutional Information
Economic and Statistical Information
Information Request
Personal Data
news & events
New Approach to Concurrent Programming Ensures Program Correctness
April 22, 2024
Researcher Joakim Öhman, supervised by Professor Aleks Nanevski, presented his thesis: "Compositional Reasoning of Concurrency with the Visibility Method"
IMDEA Software's main projects stand out at Transfiere
March 27, 2024
As in previous editions, in 2024 the Institute participated in the Research and Innovation Space of the Madrid Regional Government.
Silvia Sebastián tells what her thesis is about in less than three minutes
March 25, 2024
Unveils a novel automated approach to attribution, significantly transforming the process of identifying entities responsible for cyberattacks
Total success of the IMDEA Institutes at the Madrid is Science 2024 Fair
March 11, 2024
The Fair, which took place between March 7 and 9 at IFEMA, was attended by ten IMDEA Software researchers.
highlights
careers
