IMDEA Software participates in the Marie Curie – COFUND infoday
May 31, 2017
The IMDEA Software Institute participated in the MC – COFUND Infoday, an informative event organized by the MINECO European Office...
[ Read More ]
IMDEA Software director participates in Thought Leadership Workshop
May 31, 2017
Manuel Carro participated in the Thought Leadership Workshop organized by NESSI, the European Platform on Software, Services, and Data organized...
[ Read More ]
IMDEA Software director participates in Thought Leadership Workshop
May 31, 2017
Manuel Carro participated in the Thought Leadership Workshop organized by NESSI, the European Platform on Software, Services, and Data organized...
[ Read More ]
IMDEA Software participates in the Marie Curie – COFUND infoday
May 31, 2017
The IMDEA Software Institute participated in the MC – COFUND Infoday, an informative event organized by the MINECO European Office...
[ Read More ]
Proofs of Space: When Space is of the Essence
May 30, 2017
Proofs of computational effort were devised to control denial of service attacks. Dwork and Naor (CRYPTO ‘92), for example, proposed...
[ Read More ]
Manuel Carro appointed new Director
May 29, 2017
After more than 10 years dedicated to the creation and development of the IMDEA Software Institute, Manuel Hermenegildo, founding director,...
[ Read More ]
Manuel Carro appointed new Director
May 29, 2017
Founding director Manuel Hermenegildo steps down after 10 years of service and the Board appoints Prof. Manuel Carro new director...
[ Read More ]
Towards modular verification of consensus algorithms
May 23, 2017
The Paxos algorithm of Lamport is a classic consensus protocol for state machine replication in environments that admit crash failures....
[ Read More ]
Professor Francisco Guinea elected to the National Academy of Science
May 22, 2017
Professor Francisco Guinea elected to the National Academy of Science Senior IMDEA Nanociencia Research Professor Francisco Guinea López has recently...
[ Read More ]
Shallow Run-time Checking
May 16, 2017
Untyped languages offer great flexibility in term creation and manipulation. To ensure correctness of data operations expensive run-time checks are...
[ Read More ]
