Iniciativa IMDEA

noticias y eventos

09 de abril de 2015

2º Workshop Microsoft Research - Instituto IMDEA Software (MICW 2015) realizado el 9 y 10 de Abril.

04 de marzo de 2015

Nueva vulnerabilidad de seguridad que afecta a un gran número de servidores web y clientes descubierta por el investigador Pierre Yves Strub con colaboradores en INRIA Rocquencourt, France y Microsoft Research.

10 de febrero de 2015

Cuatro publicaciones de investigadores del Instituto IMDEA Software han sido aceptadas para su publicación en el Simposio de Seguridad y Privacidad, un congreso del máximo nivel en esta importante área.

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).

actualidad

empleo