Iniciativa IMDEA

noticias y eventos

18 de febrero de 2015

El pasado miércoles 18 de febrero la Directora General de Universidades e Investigación de la Comunidad de Madrid visitó la sede del Instituto IMDEA Software.

23 de diciembre de 2014

El verificador SMACK+Corral, nacido de una colaboración entre Instituto IMDEA Software, La Univerisidad de Utah, y Microsoft Research, gha sido premiado con 4 medallas en el 4th International Competition on Software Verification (SV-COMP 2015).

17 de diciembre de 2014

El Instituto IMDEA Software organizó un evento en el CLC de Madrid de EIT ICT Labs para promover la Escuela de Máster en Innovación en ICT de EIT ICT Labs y su oferta de programas de posgrado.

03 de abril de 2014

Microsoft Research y el Instituto IMDEA Software presentaron oficialmente su nuevo Centro Conjunto de Investigación en Madrid.

actualidad

empleo