Menu:Latest News:Gilles Barthe and Santiago Zanella Best Paper Award at CRYPTO 2011. Juan Caballero wins Outstanding Paper Award at Usenix Security 2011. Manuel Hermenegildo part of winning team at the 18th Prolog Programming Contest. IMDEA Software Institute security research in MIT's Technology Review. 2010 Annual Report published. 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. 
|
The IMDEA Software Institute
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. 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.
A new building,
entirely devoted to IMDEA-Software is under construction in a 7,500
m2 plot also in the Montegancedo Science and Technology
Park. It is expected to be finished by late 2011, when the Institute
will have outgrown its current temporary premises. Answering 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.
|
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.
