Five IMDEA Networks’ researchers rank among the World’s Top 2% Scientists 2023
November 8, 2023
IMDEA Networks has five of the world’s most relevant scientists on its staff (Albert Banchs, Joerg Widmer, Marco Ajmone, Marco...
[ Read More ]Temporal Logics Modulo Theories for Infinite-State Verification
November 8, 2023
Linear Temporal Logic (LTL) is one of the most common formalisms for expressing properties of systems in formal verification and...
[ Read More ]Π: A Unified Framework for Verifiable Secret Sharing
November 8, 2023
Shamir’s Secret Sharing is a well-established method for dividing a secret into multiple shares distributed among a group of participants....
[ Read More ]VSS from Distributed ZK Proofs and Applications
November 8, 2023
Non-Interactive Verifiable Secret Sharing (NI-VSS) is a technique for distributing a secret among a group of individuals in a verifiable...
[ Read More ]Knowing who you are as a researcher to craft your career development
November 7, 2023
Full-day in-person workshop for PhD students and Postdocs
[ Read More ]IEEE Globecom 2023 recognizes IMDEA Networks’ research with Best Paper Award
November 6, 2023
The publication “Characterizing Sub-THz MIMO Channels in Practice: A Novel Channel Sounder with Absolute Time Reference”, in which our research...
[ Read More ]Knowing who you are as a researcher to craft your career development
November 6, 2023
Half-day in-person workshop for Faculty
[ Read More ]Developing a coaching mindset to develop researchers
November 6, 2023
Half-day in-person workshop for Faculty
[ Read More ]Investigadores de IMDEA Alimentación arrojan luz sobre el diseño de nuevos fármacos y nutracéuticos para la salud intestinal
November 2, 2023
Thursday, November 2, 2023 A partir del análisis de las moléculas presentes en el intestino humano llevado a cabo por...
[ Read More ]How IMDEA Materials is exploring novel materials for carbon capture and hydrogen storage technology
November 2, 2023
A new class of materials could prove significant in more efficient carbon capture technology, drug delivery and even as a...
[ Read More ]

