Los objetivos principales del Instituto son:

• Diseñar e implementar la siguiente generación de lenguajes de programación, así como desarrollar compiladores que certifiquen, verifiquen y optimicen el software que generen.
• Desarrollar herramientas rigurosas que permitan el modelado y la validación de los programas construidos.
• Asegurar la corrección de los programas mediante técnicas especiales de construcción de software.

En definitiva, IMDEA Software quiere desarrollar tecnologías que permitan el conocimiento y desarrollo rentable de productos software de funcionalidad sofisticada y gran calidad, que sean realmente seguros, fiables y eficientes