Iniciativa IMDEA

Inicio > Investigación

Investigación en el Instituto IMDEA Software

El objetivo del Instituto IMDEA Software es el de avanzar en la ciencia y tecnología que permita el desarrollo eficiente de productos de software con funcionalidad sofisticada y alta calidad, en términos de seguridad, fiabilidad y eficiencia. Se ha elegido este área por la importancia del software como una tecnología "catalizadora" para muchos dispositivos y servicios, los severos problemas que acarrean los fallos en el software, y el coste que conlleva en la actualidad el desarrollo de software de calidad.

El desarrollo de software complejo, seguro, fiable y eficiente no es una tarea sencilla, y no se puede resolver fácilmente con "recetas mágicas" o con una gestión humana del proceso de desarrollo. Este problema afecta a todas las etapas del ciclo de vida del software y el Instituto persigue su misión centrándose en tres áreas estratégicas: seguridad y privacidad, análisis y verificación de programas y lenguajes, compiladores y sistemas.

En todas esas áreas se desarrolla trabajo en dos dimensiones complementarias: