The IMDEA Software Institute

Dragan Ivanović, Manuel Carro and Manuel Hermenegildo win "Best Paper Award" at ICSOC 2011

- Dec 8, 2011 -

Gilles Barthe and Santiago Zanella win "Best Paper Award" at CRYPTO 2011

- Aug 15, 2011 -

Juan Caballero "Outstanding Paper Award" at Usenix Security 2011

- Aug 10, 2011 -

Manuel Hermenegildo part of the winning team of the 18th Prolog Programming Contest at ICLP 2011

- Jul 8, 2011 -

IMDEA Software Institute security research in MIT's Technology Review

- Jun 10, 2011 -

Pavithra Prabhakar joins the IMDEA Software Institute

- Jun 1, 2011 -

2010 Annual Report Published

- May 10, 2011 -

AbsInt and IMDEA sign agreement to exchange expertise on abstract interpretation

- Apr 28, 2011 -

Alexey Gotsman gets EAPLS Best Dissertation Award

- Apr 11, 2011 -

Laurent Mauborgne gets Intelligent Systems Best Paper Award

- Apr 1, 2011 -

John Gallagher Granted a 3-year project by the Danish Natural Science Research Council

- Jan 1, 2011 -