Research area of the Institute is the technologies for software development and their foundations, and in particular technologies which allow the cost-effective development of software products with sophisticated functionality and high quality i.e., which are safe, reliable, and efficient.

Within this general area, the initial focus of the Institute is on these research lines:

• Correctness by construction.
• Rigorous, tool supported modelling and validation.
• Next generation programming languages and debugging, verifying and optimizing compilers.
• New methodologies and mechanisms for software development.

Results and advances in these areas are applicable to a wide range of fields, including the development of software components and services with predictable quality attributes in a efficient and cost-effective manner, which will probably have the highest potential impact in the Madrid, Spanish, and European context. Over time, the focus of the Institute could include or change to other areas, depending on the evolution of the state of the art.