IMDEA initiative

news & events

Oct 26, 2018

Two IMDEA researchers advocating to industry the use of proof assistants for functional programming

Sep 28, 2018

Manuel Carro, director of the IMDEA Software Institute, will be interviewed in the Spanish National Radio.

Sep 6, 2018

Best paper award at DISC 2018 for the paper “Multi-shot distributed transaction commit”.

Sep 4, 2018

IMDEA Software Institute PhD student Pepe Vila discovered a vulnerability in Google Chrome.