IMDEA initiative

Home > News

IMDEA Software Institute News

Jul 4, 2014: Call for start-ups and SMEs for FIWARE-based demonstrators: 25,000 euros support per company

Deadline: The deadline to submit proposals is July 31st, 2014.

In the last years the need for a more powerful, flexible, and resilient Internet has arisen, not only in the scientific community, but also within its users. The EC has initiated an RTD initiative, the FI-PPP (www.fi-ware.org), which aims at generating new Internet-related technologies and solutions to boost occupation and economy in Europe. This activity intends to establish mutually beneficial links between the FI-PPP and the EIT ICT Labs initiatives.

We expect to select, train, and support up to three start-ups or SMEs dealing with Future Internet and Internet-of-Things technologies. The selection process will be divided into two phases:

The following competences and experience are required:

The SME will take part in the FI-PPP Liaison activity from October 1st to December 31st, 2014. The allocated maximum budget amounts to EUR 25,000.00 per company with room for up to three companies. This shall cover all costs related to the project, including travel costs.

Responses shall include the following information in a maximum of 3 pages:

Please, for more information, contact

June 16, 2014: Marie Curie Career Integration Grant awarded to IMDEA faculty

The IMDEA Software Institute has been awarded a Marie Curie Career Integraion Grant by the People Programme (Marie Curie Actions) of the European Union's Seventh Framework Programme.

The project VeriStab lead by Pavithra Prabhakar will investigate formal verification of stability of embedded control systems. It addresses a very important property in control system design, namely, stability, and proposes novel algorithmic methods to verify stability of large scale embedded control systems. The project will run for a duration of 4 years and will promote the integration of the researcher with the host institute.

May 15, 2014: 2013 Annual Report Published

The IMDEA Software Institute has published its 2013 Annual Report.

April 3, 2014: Presentation of the Microsoft Research - IMDEA Software Institute Joint Research Center

Microsoft Research and the IMDEA Software Institute officially presented their new Joint Research Center.

The collaboration was formalized in late 2013 with the objective of framing and boosting the significant research collaborations between Microsoft Research and the IMDEA Software Institute in software science and technology. The new Joint Research Center sets the ground for a long-term collaboration aiming to advance the science and technology which will allow the cost-effective development of high-quality software products.

Among other relevant members of the public administration, industry, and the software research community, the presentation was chaired by Carles Grau, Public Sector Director at Microsoft Spain; Rocio Albert López-Ibor, General Director for Universities and Research, Regional Ministry for Education; Manuel Hermenegildo, Director of the IMDEA Software Institute; Judith Bishop, Director of Computer Science at Microsoft Research, and Jaime Puente, Director for Latin America at Microsoft Research.

More information at:

Pictures/videos of presentation and media links

April 2, 2014: 1st Microsoft Research - IMDEA Software Institute Collaboration Workshop (MICW 2014)

The first Workshop of the Joint Research Center between Microsoft Research and the IMDEA Software Institute took place April 2-4, 2014, at the IMDEA Software building in Madrid. The workshop was aimed at reinforcing the collaboration between these two institutions on the following topics:

The Workshop was the launch activity of the Center, at which researchers from both sides worked on topics of joint interest. It was organized by Judith Bishop and Georges Gonthier from Microsoft Research and by Gilles Barthe and Manuel Hermenegildo from the IMDEA Software Institute.

These workshops bring together researchers and students to discuss their collaborative work on hot topics in software in order to advance the state of the art and, where possible, to bring those advances to market. The focus of the first workshop is on verification (coordinated by Alexey Gotsman and Francesco Logozzo), programming languages (coordinated by Pierre Yves Strub and Georges Gonthier), and security (coordinated by Juan Caballero and Ben Livshits).

The 3-day workshop included the following keynote speakers:

More information can be found at the MSR-IMDEASW Joint Research Center web site and the Workshop site at Microsoft Research.

November 8, 2013: IMDEA Software Researcher Wins ETH Best Doctoral Thesis Award

Benedikt Schmidt, a postdoctoral researcher at the IMDEA Software Institute has been awarded a medal for an outstanding doctoral dissertation by ETH Zurich, on the topic of formal analysis of key exchange protocols and physical protocols.

October 15, 2013: IMDEA Software Researchers Publish Five Papers in Top-Ranked Conference

Five papers by IMDEA Software Institute researchers have been accepted for publication at the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014), a top-ranked conference in the area of programming languages and systems.

These five papers are among 51 papers selected for publication out of 220 submissions to the conference.

Jul 8, 2013: Official opening of the building of the Madrid Institute for Advanced Studies in Software Technologies

The president of the Autonomous Region of Madrid, Ignacio González González, presided over the official opening of the building of the Madrid Institute for Advanced Studies in Software Development Technologies (the IMDEA Software Institute), which took place on Monday July 8, 2013, at noon.

The president was accompanied by the Secretary of State for Research, Development, and Innovation of the Ministry for Economy and Competitiveness, Carmen Vela, the Rector of the Technical University of Madrid, Carlos Conde, and the Counselor for Education, Youth, and Sports, Lucía Figar, among other personalities form industry and science and research policy.

With more than 8000 m2, the Institute's new building includes offices, numerous spaces for interaction and collaboration, areas for project meetings and for scientific and industrial conferences and workshops, and powerful communications and computing infrastructures. The layout facilitates the setup of joint research labs with industry and academia. It is highly energy-efficient, through energy-conscious design, co-generation, and full automation.

The Institute is located within the Montegancedo International Campus of Excellence of the Technical University of Madrid, next to the UPM Computer Science department, research centers, and technology transfer facilities, including a company incubator.

The president presented the Institute as one of the instruments that the Madrid Region uses to create an environment that is favorable and confidence-inspiring for companies, that is attractive for innovators, and that helps Madrid boost two of its well-known advantages: its competitiveness and its modernity. Ignacio González concluded thanking everyone for their collaboration in a common project whose goal is to make Spain a country at the forefront, with a sustainable and competitive economy and, especially, to the researchers of the Institute for having selected Spain to develop their talent.

Pictures and videos of opening

Jun 28, 2013: IMDEA Software becomes first Spanish EIT ICT Labs Associate Partner

The IMDEA Software Institute has become a member of the European Institute of Innovation and Technology (EIT) ICT Labs (Information and Communication Technologies Labs), the EIT Knowledge and Innovation Community (KIC) in ICT. The goal of EIT ICT Labs is to drive European leadership in ICT innovation for economic growth and quality of life. The decision to admit the IMDEA Software Institute as an associate partner was made by the EIT ICT Labs Steering Committee on March 26, 2013. As the first Spanish EIT ICT Labs member, the IMDEA Software Institute is in charge of coordinating the new associate node (Associate Partner Group) in Spain, which includes as partners the following leading research, development, innovation and business development organizations in Spain: Telefónica, INDRA, Atos, Technical University of Madrid, and the Barcelona Supercomputing Center. The headquarters (Associate Partner Group Co-Location Center) are located in the new IMDEA Software Institute building. EIT ICT Labs currently has five nodes located in Berlin, Eindhoven, Helsinki, Paris, Stockholm, and Trento, and three associate nodes located in London, Budapest, and now Madrid. The purpose of each node is to catalyze knowledge and innovation development by involving outstanding research institutes, universities, and enterprises from the respective country, following an integrated approach based on a synergy between education, research, and business. Besides ICT Labs, other KICs operating within the EIT framework are concerned with climate and innovative energy solutions.

Jun 24, 2013: Industrial training day on ActionGUI technology

As part of the activities of the NESSoS Project, the IMDEA Software Institute has organized a one-day training course on the ActionGUI technology, with participation of representatives of ATOS Research & Innovation. IMDEA researchers and ATOS representatives also discussed in depth future extensions of the ActionGUI technology as well as the potential commercial impact of this technology.

Jun 10, 2013: Andrea Cerone best paper award at DisCoTec 2013

Andrea Cerone (postdoctoral researcher at the IMDEA Software Institute) wins the best paper award at the 8th International Federated Conference on Distributed Computing Techniques, for the article Modeling Mac-layer Communications in Wireless Systems. The paper is co-authored by Matthew Hennessy (Trinity College Dublin) and Massimo Merro (Università degli Studi di Verona).

Jun 6, 2013: Juan Caballero gives invited talk at the M3AAWG annual meeting in Vienna

Juan Caballero gives an invited talk at the 38th annual meeting of the Messaging, Malware and Mobile Anti-Abuse Working Group (M3AAWG) in Vienna, Austria. M3AAWG is arguably the most important industry forum dealing with Internet security issues such as bot mitigation, spam, Web messaging abuse, and DNS abuse. The member roster of M3AAWG includes Apple, Google, AT&T, PayPal, Symantec, Time Warner, Facebook, Yahoo, France Telecom, and many other companies. Juan's talk happens on June 6th, and is one of two invited talks from academics in the three day event. His talk deals with the emergence of specialized services in the Malware ecosystem that help attackers monetize Internet-connected computers.

Summary video of the talk

May 15, 2013: 2012 Annual Report Published

The IMDEA Software Institute has published its 2012 Annual Report.

April 10, 2013: Joint Research Unit (JRU) with Telefónica Digital

Within its strategic framework for cooperation with industry, the IMDEA Software Institute has established together with Telefónica Digital, a special Joint Research Unit (JRU) in the area of cloud computing and its supporting infrastructures.

The creation of the JRU kernel started already in December 2012, and it presently includes specialists in the Java and OpenStack platforms, as well as specialists in the administration of virtual cloud resources. The focus of the JRU is on automated definition, deployment, and management of virtual machines, storage, and networks, all of which are the key components for executing cloud applications.

March 20, 2013: Gilles Barthe gives Keynote address at ETAPS 2013

Gilles Barthe has given one of the two plenary Keynote addresses at ETAPS 2013, presenting his work on Computer-aided Cryptographic Proofs, developed at the IMDEA Software Institute. The EasyCrypt tool site provides additional information and references.

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. Established in 1998, it is a confederation of six main annual conferences (CC, ESOP, FASE, FOSSACS, TACAS and POST) accompanied by satellite workshops and other events.

March 6, 2013: 5 papers by IMDEA researchers accepted at CAV 2013

Researchers at the IMDEA Software Institute have 5 papers accepted for publication at the 25th International Conference on Computer Aided Verification (CAV) which is one of the most prestigious conferences in the area of formal methods. These 5 papers were among the 70 papers selected for publication at CAV out of 209 submission from around the world.

March 5, 2013: IMDEA Software joins 4Caast European project

The IMDEA Software Institute has recently joined 4Caast, a 39 month-long European project in collaboration with Telefonica, SAP, France Telecom, Nokia, Bull, 2nd Quadrant, Flexiscale, Bonitasoft, and a number of academic institutions. 4Caast aims at automatically generating, configuring, and deploying applications on the Cloud. The project will make it possible to explore feasible cloud-based application architectures in a fast, comprehensive, and error-free fashion. This will greatly reduce the time-to-market and robustness of modern architectures. The IMDEA Software Institute was invited to join to contribute with its expertise in constraint solving and constraint programming. These technologies are key in the blueprint solver, a core component which determines which application architectures can fulfill customer requirements.

February 25, 2013: IMDEA Software researchers win best paper award at PPoPP'13

Gilles Barthe , Juan Manuel Crespo , César Kunz , and Mark Marron , IMDEA Software researchers, win the best paper award at The 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'2013), for their article From Relational Verification to SIMD Loop Synthesis.

The paper is co-authored by Sumit Gulwani (Microsoft Research).

January 3, 2013: The IMDEA Software Institute moves to its new building

The IMDEA Software Institute has completed the move to its recently finished new building, designed by prestigious architect firm Lamela. The Institute occupied previously part of the School of Computer Science of the Technical University of Madrid. The new premises, located in the same International Campus of Excellence at Montegancedo, include state-of-the-art computing and networking infrastructures aimed at providing the best possible working environment to its researchers and staff. The building has a "B" European energy label, which, together with its advanced building automation, with intelligent light and temperature control, will make it possible to achieve large energy savings in the long term. The building also features a small convention center, able to host middle-size conferences and a cafeteria which will be open to the Campus. More data is available here.

December 10, 2012: Boeing and IMDEA Software sign agreement to develop a framework for data mining in social media

IMDEA Software and Boeing Research and Technology Europe are jointly designing and implementing a framework for data mining in social media. The framework includes a declarative embedded language designed by IMDEA Software. This language supports the description of workflows that integrate map-reduce jobs and native applications. The implementation avoids costly recomputations increasing the efficiency of social media processing.

December 4, 2012: ETH Zurich and IMDEA Software sign an agreement to jointly develop the ActionGUI technology

An inter-institutional agreement has been signed between ETH Zurich and IMDEA Software to jointly develop the ActionGUI technology. ActionGUI is a technology that supports the model-driven development of secure software systems. The first version of ActionGUI was developed within the Modeling Lab of IMDEA Software, under the supervision of Prof. Manuel Clavel . The aforementioned agreement regulates the right and duties of both ETH and IMDEA Software regarding commercial exploitation of the ActionGUI technology.

November 15, 2012: FET Young Explorers project ADVENT granted to IMDEA Software

IMDEA Software coordinates the ADVENT research project that will start on April, 1 2013. The project is funded by the EU FP7 through the Future and Emerging Technologies (FET) Young Explorers initiative, and has an overall budget of 1 million Euro. The consortium consists of Tel Aviv University (Israel), The Max Planck Institute (Germany), Katholieke Universiteit Leuven (Belgium), and IMDEA Software. The new FET Young Explorers initiative aims to capture the creative potential of young researchers by fostering their leadership and participation in collaborative research projects targeting first-ever and exploratory, multi-disciplinary research. The ADVENT project will develop innovative methods and tools for cost-effective verification of real-world systems software, making it possible to guarantee an unprecedented level of reliability. The architecture-driven verification techniques resulting from the project have the potential to yield a dramatic leap in the cost-benefit ratio of verification technology. This will allow verification to scale to systems of real-world size and complexity that so far have been beyond the reach of quality assurance methods guaranteeing correctness. Alexey Gotsman is project coordinator. The local project contact is Marta Sedano.

November 6, 2012: AutoCrypt project funded by Stanford University and ONR

The IMDEA Software Institute has been awarded the AutoCrypt project, a joint project with Stanford University, University of Pennsylvania, and SRI. The project is funded by ONR and will run from July 2012 until July 2015.

AutoCrypt aims to use computer technology to provide mathematical guarantees that a cryptographic algorithm is secure, and that it is adequate for a given product, process, or service.

The IMDEA Software team will use EasyCrypt to develop a systematic classification of cryptographic algorithms and to create a cryptographic atlas that will be used by researchers and companies to choose the most suitable algorithm for their needs.

October 16, 2012: Telefónica Digital and IMDEA Software sign agreement for research in Cloud-based technology for the Future Internet

IMDEA Software and Telefónica Digital have signed an agreement for the development of components for the automatic management of scalability within Cloud architectures based on open software platform OpenStack. This cooperation is included within the FI-WARE initiative, which encompasses the efforts of the European Commission under FP7 to develop a generic and open platform for the Internet of the Future.

October 1, 2012: IMDEA Amarout II Marie Curie COFUND program open for applications

The AMAROUT-II program is now open for new applications for fellowships. This EU Marie Curie (PEOPLE-COFUND) program, coordinated by the IMDEA Software Institute, offers 152 fellowships during the next 4 years to experienced researchers to help develop their individual research projects within any one of the research institutes comprising the IMDEA network. Each fellowship funds a researcher for up to three years. The call for applications will remain open until September, 30 2015, with periodic closing dates. For more information see AMAROUT-II. Contact:

September 8, 2012: Alexey Gotsman and Hongseok Yang win best paper award at CONCUR 2012

Alexey Gotsman received the best paper award at The 23rd International Conference on Concurrency Theory (CONCUR 2012). The paper, "Linearizability with Ownership Transfer", was co-authored by Hongseok Yang (Oxford University).

Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. The paper generalizes this notion to the setting of common programming languages, where libraries and their clients can communicate via the heap, transferring the ownership of data structures, and can even run in a shared address space without any memory protection.

September 5, 2012: ENTRA project funded with 2.1 million Euros from the EU

The IMDEA Software Institute has been granted the ``ENTRA (Whole-Systems Energy Transparency)'' EU project, which aims to promote the development of greener IT products by enabling "energy-aware" software development. Within the project, starting on October 1, 2012, researchers from the IMDEA Software Institute will create tools for advanced program analysis and modeling of energy consumption in computer systems which will facilitate predictions of energy consumption early in the software design phase. ENTRA is funded by the EU 7th Framework Programme, through the Future and Emerging Technologies (FET) scheme, and has an overall budget of 2.1 million Euro. Apart from the IMDEA Software Institute and Roskilde University, which coordinates the project, the consortium also includes XMOS Ltd. and the University of Bristol.

Local project contact: Pedro López-García

Website: ENTRA

July 3, 2012: IMDEA Amarout II Marie Curie / PEOPLE-COFUND program granted

The IMDEA network of institutes has been granted AMAROUT-II, an EU Marie Curie (PEOPLE-COFUND) program that will offer 152 fellowships during the next 4 years to experienced researchers to help develop their individual research projects within any one of the research institutes comprising the IMDEA network. Each fellowship funds a researcher for up to three years. A permanent call for applications will be opened on October, 1 2012 and will run until September, 30 2015, with periodic closing dates. The program, prepared and coordinated by the IMDEA Software Institute, is designed to support transnational mobility of experienced researchers offering attractive working conditions and providing opportunities to deepen and widen their skills. AMAROUT-II is a continuation of AMAROUT, a highly successful COFUND program which is now closed for applications.

For more information see AMAROUT-II. Contact:

May 10, 2012: 2011 Annual Report Published

The IMDEA Software Institute has published its 2011 Annual Report.

March 29, 2012: Santiago Zanella wins EAPLS Best Dissertation Award

Santiago Zanella, who completed his PhD at the IMDEA Software Institute under the supervision of Prof. Gilles Barthe, is the winner of the 2011 EAPLS Best Dissertation Award for his dissertation "Formal Certification of Game-Based Cryptographic Proofs" defended at the École Nationale Supérieure des Mines de Paris in 2010.

This award is given by the European Association on Programming Languages and Systems to the PhD student who has made the most original and influential contribution to the area of Programming Languages and Systems, and has graduated in the period up to November 2011 at a European academic institute. The purpose of the award is to draw attention to excellent work, to help the career of the student in question, and to promote the research field as a whole.

The winner was selected by a committee of international experts. Details on the procedure can be found here. The candidate theses were judged on originality, impact, relevance, and quality of writing.

With this award already two researchers associated with the IMDEA Software Institute have received this prestigious recognition.

March 28, 2012: Alexey Gotsman and Mark Marron get two prestigious Microsoft awards

IMDEA Software Institute researchers Alexey Gotsman and Mark Marron each got one of the 10 Microsoft Software Engineering Innovation Foundation (SEIF) Awards given by Microsoft Research in 2012.

Microsoft Research created these Awards to support research in software engineering technologies, tools, practices, and teaching methods. Out of more than 100 applications, only 8 other applicants, in addition to Alexey Gotsman and Mark Marron from the IMDEA Software Institute in Spain, obtained this prestigious award in 2011, 1 in Switzerland, 1 in Canada, and 6 in the United States.

Alexey Gotsman and Mark Marron will be publicly recognized at the new annual SEIF Day, to be held on 18th of July 2012, in Redmond, USA. This event is a new addition to the SEIF program and will be attended by previous and current SEIF winners, influential software engineering researchers, and researchers from Microsoft Research.

December 8, 2011: Dragan Ivanović, Manuel Carro and Manuel Hermenegildo win Best Paper Award at ICSOC 2011

The paper Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations, co-authored by IMDEA Software Institute and UPM Researchers Dragan Ivanović, Manuel Carro, and Manuel Hermenegildo, was selected as the Best Paper Award at ICSOC 2011, the 9th International Conference on Service Computing held at the Paphos, Cyprus, Dec 5–8, 2011.

The paper presents and evaluates a technique to detect ahead of time whether there will be or not SLA violations in service orchestrations, and to determine under which conditions these will (or will not) happen. The technique uses a model of the process which can evolve as the process executes, thus making it possible to reflect dynamic changes. At every inspection point, the continuation of the process model is sent to the predictor which produces a constraint model by means of symbolic execution using a constraint-generating interpreter. The constraint system is fed into a Prolog-based constraint solver which is, additionally, given boundary conditions to represent scenarios of failure and non-failure. The results of the constraint solver indicate the cases under which these scenarios will or may occur. Evaluations under realistic conditions obtained using the Microsoft Workflow Engine indicate significant prediction capacity with very small numbers of false positives / negatives.

August 15, 2011: Gilles Barthe and Santiago Zanella win Best Paper Award at CRYPTO 2011

The paper Computer-Aided Security Proofs for the Working Cryptographer, co-authored by IMDEA Software Institute Researchers Gilles Barthe and Santiago Zanella with colleagues at INRIA, is the winner of the Best Paper Award at CRYPTO 2011, the 31st International Cryptology Conference held at the University of California, Santa Barbara, Aug 14–18, 2011.

You can see the presentation at CRYPTO'11 here:

The paper presents EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems which uses off-the-shelf SMT solvers and automated theorem provers. The tool is significantly easier to use than its predecessors and is arguably a plausible candidate for adoption by working cryptographers. The usefulness of the tool is illustrated through its application to security proofs of the Cramer-Shoup and Hashed ElGamal cryptosystems.

August 10, 2011: Juan Caballero Outstanding Paper Award at Usenix Security 2011.

The paper Measuring Pay-per-Install: The Commoditization of Malware Distribution, co-authored by IMDEA Software Institute Assistant Professor Juan Caballero, is the winner of an Outstanding Paper Award at the Usenix Security 2011 Symposium.

The paper reports on recent research by Caballero and colleagues from the University of California, Berkeley, suggesting that most malware in personal computers is covertly installed by enterprising hackers, who sell access to the compromised hosts to criminal gangs in an underground Pay-Per-Install (PPI) market. The article was recently the subject of a feature in MIT's Technology review.

July 8, 2011: Manuel Hermenegildo part of the winning team of the 18th Prolog Programming Contest at ICLP 2011

Manuel Hermenegildo, Institute Director, was, with Professors Michael Leuschel (University of Düsseldorf) and Antonio Porto (University of Lisbon) part of the winning team of the 18th Prolog Programming Contest at the 27th International Conference on Logic Programming in Lexington, Kentucky, USA. Of course, this was done using Ciao which was duly declared "this year's Prolog system of choice." And all of this while having to endure being continuously referred to by the contest organizers as the "old boys" team...

June 10, 2011: IMDEA Software Institute security research in MIT's Technology Review

IMDEA Software Institute security research tying most malware to 'Pay-Per-Install' (PPI) market reported in MIT's Technology Review. MIT's Techonology review reports recent research by researchers from the IMDEA Software Institute and University of California, Berkeley, suggesting that most malware in personal computers is covertly installed by enterprising hackers, who sell access to the compromised hosts to criminal gangs in an underground Pay-Per-Install (PPI) market.

June 1, 2011: Pavithra Prabhakar joins the IMDEA Software Institute

Pavithra Prabhakar obtained her doctorate in Computer Science from the University of Illinois at Urbana-Champaign in 2011, from where she also obtained a masters in Applied Mathematics. She has a masters degree in Computer Science from the Indian Institute of Science, Bangalore and a bachelors degree from the National Institute of Technology, Warangal, in India.

Pavithra joined the faculty of the IMDEA Software Institute in 2011. She took a one-year leave of absence (August 1 2011 to August 31 2012) at the California Insitute of Technology as a CMI (Center for Mathematics of Information) fellow. She has also spent several summers as an intern at Bell-Labs, Murray Hill, working on formal synthesis of web-services.

She is the recipient of the Sohaib and Sara Abbasi fellowship from UIUC and M.N.S Swamy medal from the Indian Institute of Science.

Her main area of research is in Formal Analysis of Cyber-Physical Systems. She has published widely in Hybrid Systems and Formal Methods conferences and her paper in HSCC has received an honorable mentions award.

May 10, 2011: 2010 Annual Report Published

The IMDEA Software Institute has published its 2010 Annual Report.

April 28, 2011: AbsInt and IMDEA sign agreement to exchange expertise on abstract interpretation

AbsInt and IMDEA signed an agreement to collaborate on the development of the ASTREE static analyzer, commercialized by AbsInt and in use by several companies (including for example AirBus) in the verification of absence of failures in critical software. On the IMDEA side the research will be led by Laurent Mauborgne. The project, which should allow ASTREE to cope with a broader class of programs, will be funded by AbsInt.

April 11, 2011: Alexey Gotsman gets EAPLS Best Dissertation Award

Alexey Gotsman, Assistant Professor at the IMDEA Software Institute, is the winner of the 2010 EAPLS Best Dissertation Award for his dissertation on "Logics and analyses for concurrent heap-manipulating programs" completed at the Computer Laboratory of the University of Cambridge.

This award is given by the European Association on Programming Languages and Systems to the PhD student who has made the most original and influential contribution to the area of Programming Languages and Systems, and has graduated in the period up to November 2010 at a European academic institute. The purpose of the award is to draw attention to excellent work, to help the career of the student in question, and to promote the research field as a whole.

The winner was selected by a committee of international experts. Details on the procedure can be found here. The candidate theses were judged on originality, impact, relevance, and quality of writing. The conclusions from the jury can be found here.

April 1, 2011: Laurent Mauborgne gets Intelligent Systems Best Paper Award

Laurent Mauborgne, Researcher at the IMDEA Software Institute, is one of the winners of the Intelligent Systems Best Paper Award for his article on "Static Analysis and Verification of Aerospace Software by Abstract Interpretation" presented at 2010 AAIA Infotech@Aerospace.

This award is given by the American Institute of Aeronautics and Astronautics.

January 1, 2011: John Gallagher Granted a 3-year project by the Danish Natural Science Research Council.

John Gallagher has been granted a 3-year research project (2011-2013) by the Danish Natural Science Research Council (FNU). The project is entitled "NUSA: Numerical and Symbolic Abstractions for Software Model Checking". NUSA supports collaboration between Roskilde university and the IMDEA Software Institute, and also with Ben-Gurion University, Israel, IRISA/Univ. Rennes, France and K.U. Leuven, Belgium.

November 24, 2010: IMDEA Institutes in Researchers Night

The IMDEA Institutes joined the Madrid events of Researchers Night, an EU-wide initiative bringing together the public at large and researchers once a year on the fourth Friday of September. The 2010 edition took place on 24 September in over 600 venues of 250 European cities in 33 countries. In Madrid there were several activities, including a round table with all the directors of the IMDEA Institutes.

November 2, 2010: Juan Caballero joins the Institute

Juan Caballero (Ph.D Carnegie Mellon University) has joined IMDEA Software as an Assistant Research Professor (tenure-track). Before joining IMDEA, he was Visiting Graduate Student at UC Berkeley.

October 19, 2010: Manuel Hermenegildo elected to the Academia Europaea

Manuel Hermenegildo, Director of IMDEA Software, has been elected to the Academia Europaea.

October 18, 2010: The Counselor for Education of the Madrid Regional Government visits the construction site

The Counselor for Education of the Madrid Regional Government, Lucía Figar, visits the construction site of the building that will be the permanent location of the IMDEA Software Institute. Press release. Pictures.

September 25, 2010: Alexey Gotsman joins the Institute

Alexey Gotsman (Ph.D. University of Cambridge, 2009) has joined IMDEA Software as an Assistant Research Professor (tenure-track). He previously held a postdoctoral researcher position at the University of Cambridge, where he also obtained his Ph.D.

September 1, 2010: 2008-09 biennial report published

The IMDEA Software Institute has published its 2008-09 biennial report.

September 1, 2010: Boris Köpf joins the Institute

Boris Köpf has joined IMDEA as Research Assistant Professor. Boris held postdoctoral positions at the Max Planck Institute for Software Systems, after finishing his Ph.D. in the Information Security group of ETH Zurich. Boris' research interests lie in Information Security, Side-Channel Attacks, Quantitative Information Flow, Verification and Algorithms.

October 28, 2009: IMDEA Software organizes ES_PASS Workshop on Industrialization of Abstract Interpretation

IMDEA Software has organized the ES_PASS Project Workshop on "Industrialization of Abstract Interpretation," held on October 28, 2009 in Madrid (Spain), a succesful experience where the results of the ES_PASS project have been presented to a wide and varied audience of mostly industrial and also some academic participants, and where new contacts and synergies among such participants have been established.

ES_PASS (Embedded Software Product-based Assurance) is an EU ITEA2 project that aims at improving and integrating state-of-the-art software verification techniques based on static analysis into existing industrial engineering processes in the domain of safety-critical embedded systems.

The project consortium includes industrial participants such as Airbus France, AbsInt, CS Systèmes d'Information, Continental Automotive France SAS, Thales Avionics, Daimler AG, Esterel Technologies, PSA Peugeot Citroen, Siemens VDO Automotive, EADS Astrium, GTD Barcelona, Onera, PolySpace Technologies, Thales Transportation, ALCATEL TSD and IFB Berlin, as well as a number of research laboratories and institutes.

Local project coordination and workshop organization: Pedro López-García .

October 23, 2009: Aleks Nanevski joins the Institute

Aleks Nanevski has joined IMDEA as Research Assistant Professor. Aleks did his postdoctoral studies at Microsoft Research, Cambridge, and at Harvard University, after finishing his PhD at Carnegie-Mellon University. Aleks's interests lie in the design and implementation of programming languages and methodologies that facilitate specification and verification of various program properties. He is also interested in all aspects of compilation and optimization of modern programming languages and in other formal verification methods, such as interactive and automated theorem proving, decision procedures, program analysis and software model checking.

September 1, 2009: Pierre Ganty joins the Institute

Pierre Ganty has joined IMDEA as Research Assistant Professor. In September 2007, Pierre received his PhD degree from the Université Libre de Bruxelles. Before joining IMDEA, he held a postdoc position at UCLA (University of Los Angeles, California). His research interest are (no order) verification of systems with infinitely many states; abstraction refinement techniques for verification; bounded analysis techniques; logic and automata theory; algorithms and tools for the design and verification of reactive and distributed systems; program analysis; and formal models for distributed systems: petri nets.

August 1, 2009: Laurent Mauborgne joins the Institute

Laurent Mauborgne has joined the Institute in a Researcher position. Laurent was previously assistant professor at École normale superieure and part-time professor at École polytechnique, France. He received his Ph.D. in Computer Science from École Polytechnique, in 1999, and an habilitation à diriger les recherches from University Paris-Dauphine (France) in 2007. His research focuses on static analysis of programs and abstract interpretation. The goal is to develop theoretical as well as practical tools to analyze the behaviors of programs. He is one of the authors of the Astrée analyzer, a tool that proves the absence of run-time errors in critical avionic code.

July 14, 2009: John Gallagher and Henning Christiansen win the Best Paper Award at ICLP'09

John Gallagher (jointly with Henning Christiansen) wins the Best Paper Award at the International Conference on Logic Programming 2009 in Pasadena, CA, USA, for the paper "Non-Discriminating Arguments and Their Uses". The award is given by the Association for Logic Programming.

April 9, 2009: HATS Kick-Off Meeting in Bologna

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.

April 9, 2009: AMAROUT Programme for Research Mobility Starts

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

February 1, 2009: Anindya Banerjee joins IMDEA Software Institute

Anindya Banerjee will be joining IMDEA-Software in December 2008. Formerly Full Professor in the Dept. of Computing and Information Sciences at Kansas State U., during 2007--2008 he was visiting researcher at the Programming Languages and Methodology group at Microsoft Research, Redmond, on sabbatical leave from KSU.

January 1, 2009: Winning building design

Building designs from six renowned architects were received in response to our call for design ideas for a new building to be the permanent location of the Institute. In november 2008 a committee formed by members of IMDEA Software, the Madrid Regional Government, and external experts chose the winning design, presented by Estudio Lamela. Construction of this new building will begin shortly and will be ready when the Institute outgrows its current temporary location in a floor of the UPM CS Department.