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
Projects
Events
Invited Talks
Software Seminar Series (S3)
Activities towards transversal capabilities
Contact
Transparency Portal
Institutional Information
Information on Organisational Matters
Economic and Statistical Information
Information Request
Personal Data
Internal Information Channel
National Security Scheme (ENS)
news & events
Fourth FME Lucas Award for Gilles Barthe, Juan Manuel Crespo and César Kunz
July 1, 2026
Gilles Barthe, Juan Manuel Crespo, and César Kunz received the FME Lucas Award for their paper “Relational Verification Using Product Programs”, written during their time at IMDEA Software
Daniela Ferreiro: Best Presentation at PROLE 2026
June 30, 2026
Daniela Ferreiro, a PhD researcher at IMDEA Software, has received the award for the best presentation at the PROLE 2026 conference
IMDEA Software celebrates a new edition of "My I[M]DEA Software: Poster Competition"
June 22, 2026
This event brings together interns, PhD students, and members of the center to showcase the progress made in their respective research areas.
IMDEA Software takes on the Survivor Race challenge
June 9, 2026
This Sunday, a group from IMDEA Software took part in the Survivor Race 3km run
highlights
careers
