Two IMDEA researchers advocating to industry the use of proof assistants for functional programming
Manuel Carro, director of the IMDEA Software Institute, will be interviewed in the Spanish National Radio.
Best paper award at DISC 2018 for the paper “Multi-shot distributed transaction commit”.
IMDEA Software Institute PhD student Pepe Vila discovered a vulnerability in Google Chrome.
