LISSA: Lazy Initialization with Specialized Solver Aid
September 27, 2022
Programs that deal with heap-allocated inputs are difficult to analyze with symbolic execution (SE). Lazy Initialization (LI) is an approach...
[ Read More ]
GandALF 2022, the international symposium on Games, Automata, Logics, and Formal Verification culminates after three days of intense sessions
September 27, 2022
Pierre Ganty, Associate Research Professor at IMDEA Software, and Dario Della Monica, Assistant Professor at the University of Udine have...
[ Read More ]
Setchain, the application that multiplies by a thousand the number of transactions per minute in any blockchain
September 26, 2022
Researchers Margarita Capretto, Martin Ceresa (IMDEA Software), Antonio Fernández Anta (IMDEA Networks), Antonio Russo (IMDEA Networks) and César Sánchez (IMDEA...
[ Read More ]
Setchain, the application that multiplies by a thousand the number of transactions per minute in any blockchain
September 26, 2022
Researchers Margarita Capretto, Martin Ceresa (IMDEA Software), Antonio Fernández Anta (IMDEA Networks), Antonio Russo (IMDEA Networks) and César Sánchez (IMDEA...
[ Read More ]
Setchain, the application that multiplies by a thousand the number of transactions per minute in any blockchain
September 26, 2022
Researchers from IMDEA Software and IMDEA Networks develop an application capable of substantially increasing the number of transactions per minute...
[ Read More ]
IMDEA Networks joins RENIC, National Network of Excellence in Cybersecurity Research
September 23, 2022
This September, IMDEA Networks has joined the National Network of Excellence in Cybersecurity Research (RENIC), a sectorial association that includes...
[ Read More ]
“Nanociencia entretenida”, an outreach project for the elderly
September 22, 2022
“Nanociencia entretenida”, an outreach project for the elderly 23.09.2022 Sesión de “Nanociencia Entretenida” en la Residencia de Mayores Las Vegas...
[ Read More ]
IMDEA Materials and a new generation of sustainable composite materials with flame-retardant properties. A step toward the circular economy.
September 22, 2022
New recyclable sandwich-structured composites could replace environmentally harmful materials used in a range of industries. The materials currently being developed...
[ Read More ]
Distinguished Seminar 4th October: ‘Molecular Sieves: versatile materials for catalysts design’
September 21, 2022
Date: 4th October Hour: 12.30 Place: Auditorium (Ground Floor) Title: ‘Molecular Sieves: versatile materials for catalysts design’ Summary
[ Read More ]
TeleMadrid entrevista a la investigadora de IMDEA Materiales Lola Martín
September 21, 2022
Lola Martín tuvo que elegir entre el Real Madrid Femenino y la ciencia: no tuvo dudas. La investigadora de IMDEA...
[ Read More ]
