IMDEA initiative

news & events

Jan 16, 2019

Roberto Giacobazzi, one of the authors of the winner paper “A²I: Abstract² Interpretation”.

Jan 15, 2019

Manuel Carro will take part in the round table about research and innovation in Madrid.

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.