IMDEA Software

IMDEA initiative

news & events

Jul 26, 2021

Isabel completes her doctoral studies in Artificial Intelligence at UPM, advised by the distinguished professor Manuel Hermenegildo

Jun 29, 2021

Both researchers managed to earned the support of the audience by telling briefly and in a non-technical way what their thesis is about.

Jun 18, 2021

Researchers from the IMDEA Software Institute, TU Wien and Purdue University have developed a protocol that makes more secure and faster transactions in cryptocurrencies like Bitcoin

Jun 7, 2021

"Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions"