Like every year, the IMDEA Software Institute publishes its annual report that summarizes in general terms the activity that has been carried out during that period of time.

2018’s edition not only updates relevant content but also design and structure. These efforts have been made to make the document more visual, compelling and easier to read.

Last year the Institute was composed by 62 researchers from 18 different nationalities, of which, 26 were PhD students.

Madrid Flight on Chip’, ‘Verification with Liquid Types’ and ‘Narrowing the data/Compute Gap with Specialized Hardware’ are the three research highlights in this report. It also includes the research projects and contracts in which the Institute has been working during 2018 and those that have begun this year.

For more information, please consult the 2018 annual report link to publication.