IMDEA Software

IMDEA initiative

news & events

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
June 30, 2026
Daniela Ferreiro, a PhD researcher at IMDEA Software, has received the award for the best presentation at the PROLE 2026 conference
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.
June 9, 2026
This Sunday, a group from IMDEA Software took part in the Survivor Race 3km run

highlights

careers

AltStyle によって変換されたページ (->オリジナル) /