La misión principal de IMDEA Software es realizar investigación de excelencia a nivel internacional y colaborar con instituciones similares a lo ancho del mundo para generar una masa crítica de investigadores punteros de clase mundial en Madrid.

El mundo actual afronta varios desafíos científicos en el área de las tecnologías para el desarrollo de software. El mercado del software ronda los 200 millardos de euros en el mundo —un tercio de ese mercado es europeo—, y es una de las principales fuentes del crecimiento económico. Los «sistemas software» están presentes en todo nuestro entorno, controlando aspectos importantes de nuestras vidas: sistemas bancarios, comunicaciones, transportes, medicina, administración pública, etcétera. Y el futuro promete mucho más. Por otra parte, el software es cada vez más complejo, más caro de producir y su corrección mucho más difícil de asegurar.

Todo ello hace que la fiabilidad, la calidad, la seguridad y la eficiencia del software pasen a ser aspectos fundamentales de todas las aplicaciones desarrolladas, también de las de uso corriente. Garantizar estas características por parte de los proveedores pasará, paulatinamente, de ser una ventaja competitiva a ser una exigencia del mercado y legal.

Para satisfacer estas necesidades es necesario proveer a los desarrolladores de software de fundamentos, técnicas y herramientas que les permitan escribir software altamente funcional, fiable y eficiente. El conocimiento y desarrollo de esas tecnologías constituye el principal objetivo científico del IMDEA Software.