Testing Smart Contracts on the Cardano Blockchain with QuickCheck
March 15, 2022
The Cardano blockchain underlies one of the world’s top-ten cryptocurrencies, and supports smart contracts written in Haskell, which work very...
[ Read More ]
IMDEA at the XI Madrid es Ciencia Fair
March 11, 2022
We are very excited to have received an invitation from the madri+d Knowledge Foundation to participate in the XI Feria...
[ Read More ]
CS Track Project echoes IMDEA Energy’s work in knowledge transfer and citizen participation
March 11, 2022
Félix Marín and Patricia Pizarro, Head of Technology Transfer and Senior Researcher at IMDEA Energy talk in an interview in the...
[ Read More ]
Talk by Yueqi Chen: Securing Operating System Kernels with Fewer Shots
March 10, 2022
Despite significant efforts on cybersecurity, we are observing an increasing number of attacks in recent years. The reason for this...
[ Read More ]
Talk by Kostas Ferles: Simple and Efficient Concurrent Programming via Synchronization Synthesis
March 10, 2022
Multithreaded concurrency is an extremely challenging programming setting, with bugs manifesting themselves in resource starvation and atomicity violations. While there...
[ Read More ]
Securing Operating System Kernels with Fewer Shots
March 10, 2022
Despite significant efforts on cybersecurity, we are observing an increasing number of attacks in recent years. The reason for this...
[ Read More ]
IMDEA Nanociencia participates in the outreach fair ‘Madrid Es Ciencia’
March 9, 2022
IMDEA Nanociencia participates in the outreach fair ‘Madrid Es Ciencia’ 09.03.2022 More than 20,000 attendees have visited the fair from...
[ Read More ]
IMDEA Water shows its research at the XI Madrid is Science Fair
March 9, 2022
More than 20,000 people attended the event over the four days
[ Read More ]
Efficient Photogeneration: A Means of Synthesising Highly Reactive Molecules
March 9, 2022
Efficient Photogeneration: A Means of Synthesising Highly Reactive Molecules 09.03.2022 In the 90’s a theoretical study proposed the idea that...
[ Read More ]
IMDEA Energy presents its research work at the Madrid Is Science Fair, with over 20,000 visitors
March 8, 2022
The 11th “Madrid is Science” Fair, organised by the Fundación para el Conocimiento madri+d, has registered a number of visitors...
[ Read More ]
