La importancia del software crece contínuamente. El software está presente en muchos aparatos y dispositivos que forman parte de nuestra vida cotidiana, y por ello, cualquier error en dicho software puede conllevar un impacto social y económico elevado. Desarrollar software con un nivel de fiabilidad, seguridad y eficiencia —y conseguirlo a un coste competitivo— es pues un importante reto científico. Debido a la implantación ubicua del software, las soluciones a estos problemas pueden suponer un impacto significativo en la productividad y en la competitividad.
El principal objetivo del Instituto IMDEA Software (el Instituto Madrileño de Estudios Avanzados en Tecnologías de Desarrollo de Software) es realizar investigación de excelencia para la construcción de métodos que permitan el desarrollo eficiente de productos software con una funcionalidad sofisticada y alta calidad, esto es, seguros, fiables y eficientes. Para alcanzar este objetivo, el Instituto está reclutando una masa crítica de científicos de nivel mundial y les provee de un entorno ideal de investigación.
El interés del Instituto incluye todas las fases del desarrollo de software (análisis, diseño, implementación, validación y verificación), así como metodologías, lenguajes y herramientas. La característica principal es el empleo de técnicas que a la vez sean rigurosas y permitan la construcción de herramientas prácticas.
El Instituto IMDEA Software forma parte de IMDEA, los Institutos Madrileños de Estudios Avanzados, una red de centros de investigación internacionales localizada en la región de Madrid para la realización de investigación de excelencia en áreas de alto impacto económico.
