Español Contact Institutes

Menu:


Latest News:

Santiago Zanella wins EAPLS Best Dissertation Award.
Alexey Gotsman and Mark Marron get two prestigious Microsoft innovation awards.
Dragan Ivanović, Manuel Carro and Manuel Hermenegildo win Best Paper Award at ICSOC 2011.
Gilles Barthe and Santiago Zanella win the Best Paper Award at CRYPTO 2011.
Juan Caballero wins Outstanding Paper Award at Usenix Security 2011.
IMDEA Software Institute security research in MIT's Technology Review.
Alexey Gotsman gets EAPLS Best Dissertation Award.
Laurent Mauborgne gets AIAA Intelligent Systems Best Paper Award.
Lucía Figar, Counselor for Education, visits Institute's new building construction site. Press release. Pictures.

More IMDEA Software news

The IMDEA Software Institute

The importance of software is continuously increasing. It is the enabling technology in many devices and services which are now an essential part of our lives, and thus software failures can imply high social and economic cost. Developing software of an appropriate level of reliability, security, and performance, and doing so in a cost-effective manner poses today very significant research challenges. Because of the ubiquity of software, solutions to these challenges can have a significant and pervasive expected impact on productivity and on the general competitiveness of the economy.

The main focus of the Madrid Institute for Advanced Studies in Software Development Technologies (IMDEA Software Institute) is to perform the research of excellence required to devise methods that will allow the cost-effective development of software products with sophisticated functionality and high quality, i.e., safe, reliable, and efficient. In order to achieve this goal the Institute is gathering a critical mass of world-wide, top class researchers and providing them with an ideal research environment.

The focus of the Institute includes all phases of the development cycle (analysis, design, implementations, validation and verification), including methods, languages, and mechanisms. Its distinguishing feature is the concentration on approaches that are rigorous and at the same time allow building practical tools.

The IMDEA Software Institute is part of IMDEA, the Madrid Institute of Advanced Studies, a network of international research centers in the Madrid region for research of excellence in areas of high economic impact.

New Building

Current Location and New Building

The IMDEA Software Institute is temporarily located in a newly remodeled floor of the School of Computer Science of the Technical University of Madrid (UPM), in the Montegancedo Science and Technology Park (International Campus of Excellence). The Institute has already outgrown its current temporary premises and it will thus move shortly to a new building, (see photo), entirely devoted to IMDEA Software, which is close to completion in a 7,500 m2 plot also in the Montegancedo Science and Technology Park. In response to a call, building designs from six renowned architects were received in early 2009, and a committee including members of the IMDEA Software Institute, the Regional Government of Madrid, and external experts chose the winning proposal by Estudio Lamela. The design of the final building evolved in close consultation with current the IMDEA Software Institute researchers, and is aimed at addressing the scientific needs of the Institute.