English | EspaƱol Contact Institutes

Menu:

Latest News:

The IMDEA Institutes network received approval for a 7FP (PEOPLE-COFUND) Marie-Curie Action for researcher mobility called AMAROUT. The programme co-finances for one year (renewable for two or three) the incorporation of more than 130 researchers into the IMDEA network of institutes. The duration of the AMAROUT programme is 4 years, beginning on March 1st, 2009. IMDEA Software is the coordinator of the AMAROUT programme.

Gilles Barthe, Manuel Hermenegildo, and Manuel Clavel attended the HATS kick-off meeting, held in Bologna, Italy, on March 9-11, 2009. HATS is a recently approved FP7 IP project which focuses on the rigorous development of software product families (SWPF). The technical core of the project is an Abstract Behavioral Specification language which will allow precise description of SWPF features and components and their instances. IMDEA Software is part of the HATS consortium, in collaboration with UPM, along with 7 other academic partners, 2 research institutes, and 1 SME.


Other IMDEA Software news


IMDEA Software

Current Building 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) is to perform the research of excellence required to devise methods that will allow 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.

IMDEA Software 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

New Building IMDEA Software 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. As the number of faculty and students at the institute increases this facility is expected to be outgrown by the end of 2010. Thus, fast progress is being made towards making available a new, dedicated building. To this end a 7,500 m2 plot was assigned early in 2008 to the Institute within the Montegancedo park and a call for designs for the building was issued in the Spring. Designs from six different renowned architects received in response to this call and the winning design chosen in late 2008. Construction of the new building will begin in 2009 and is planned to be completed by early 2011.