IMDEA Software has organized the ES_PASS Project Workshop on “Industrialization of Abstract Interpretation,”...

Aleks Nanevski has joined IMDEA as Assistant Research Professor. Aleks did his postdoctoral studies at Microsoft Researc...

Pierre Ganty has joined IMDEA as Assistant Research Professor. In September 2007, Pierre received his PhD degree from th...

Laurent Mauborgne has joined the Institute in a Researcher position. Laurent was previously assistant professor at École...

John Gallagher (jointly with Henning Christiansen) wins the Best Paper Award at the International Conference on Logic Pr...

The IMDEA Institutes network granted a 7FP (PEOPLE-COFUND) Marie-Curie Action for researcher mobility. The program, call...

Anindya Banerjee will be joining IMDEA-Software in December 2008. Formerly Full Professor in the Dept. of Computing and ...

Building designs from six renowned architects were received in response to our call for design ideas for a new building ...