Isabel completes her doctoral studies in Artificial Intelligence at UPM, advised by the distinguished professor Manuel Hermenegildo
Both researchers managed to earned the support of the audience by telling briefly and in a non-technical way what their thesis is about.
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
"Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions"
