Manuel Carro 😷 💉💉💉

ChatGPT is finding new foundations for mathematics. I am not sure whether using it for homework will raise or lower students' grades...

🔵 On October 23–24 at the Palacio de Congresos in Cádiz, Spain, the global functional programming community will come together at @Lambda_World 2025 to share ideas, learn, and connect. 💻 If you’re passionate about functional programming or simply curious about new ways of thinking about software, don’t miss it! 👥Several IMDEA Software Institute researchers will be taking part, and we’re also proud to be an official sponsor of the event. 👉 Learn more and get your tickets at lambda.world

🔵 The IMDEA Software Institute is #hiring Tenure-Track Assistant Professors in ML, Privacy, Quantum Computing, Software Engineering & Systems. 📍 Madrid | 💼 Competitive salaries | 🌍 World-class research 🗓 Apply by Nov 14 🔗 software.imdea.org/es/careers/202… @IMDEAInstitutes

Gran presencia de @madqci y @La_UPM en las JJTT @LaRedIRIS 2025 📡 🔹 REDIMADRID (@IMDEA_Software) y GIICC-UPM presentaron avances en tecnología cuántica 🔹 Nuevo WiFi para 40.000 usuarios en @La_UPM 🔹 @Telefonica: visión cuántica en telco ¡Y nace un nuevo grupo de trabajo!

🔵 IMDEA Software at the Workshop on Secret Sharing Schemes 2025 🗣️ From May 12 to 14, our researchers Ignacio Cascudo, Daniele Cozzo, and Xiang Liu took part in the Workshop on Secret Sharing Schemes in Tarragona — a key international event focused on the theory and applications of secret sharing systems. 👉 Read the full story on our website: software.imdea.org/news/2025/05-2… #IMDEASoftware #Cryptography #SecretSharing #Cybersecurity #ScientificResearch #ResearchImpact

🌐 La criptografía ante su mayor reto: proteger la privacidad en la era de la #IA ➡️ Ignacio Cascudo, investigador de @IMDEA_Software, y Sofía Celi, criptógrafa, han sido protagonistas en @IACReurocrypt ✍️ @CatyArevalo efeminista.com/criptografia-r…

🔐Eurocrypt 2025 is over, and it was a great success! 🔵IMDEA Software is proud to have led the organisation of the 44th edition of this top-tier cryptography conference in Madrid. 👥 650+ attendees 📄 624 papers submitted ✅ 123 accepted 🧠 12 workshops 👉 Full recap here: software.imdea.org/news/2025/05-1… #Eurocrypt2025 #Cryptography #imdeasoftware

@alarranz Me sorprende Palantir en posición 34. No sabía que estaban tan valorados. Y que Intel no aparezca ya.

Curioso damero, antiegos empresariales 👇🏻

🔍 Looking for a fully-funded research opportunity? IMDEA Software Institute offers 14 positions for research #interns & #PhD students! Explore exciting projects in: 🔹 Algorithmics 🔹 Security 🔹 Programming Languages 🔹 Systems 🔹 Verification 🗓 Deadline: April 29, 2025 📍 Based in Madrid 🗣️English is the primary working language, and knowledge of Spanish is not required. 👉Apply here: software.imdea.org/careers/ #Research #TechJobs #PhDOpportunities #IMDEA

📣 IMDEA Software Institute is offering 14 fully-funded research positions for interns & PhD students! 🤝 Take part in groundbreaking research in: 💻 Algorithmics 💻 Computer Systems 💻 Computer Security 💻 Programming Languages 💻 Verification 🗓 Deadline: April 29, 2025 📍 Based in Madrid 🗣English is the primary working language, and knowledge of Spanish is not required 📩 Apply here: software.imdea.org/careers/ #ComputerScience #PhD #Internship #ResearchOpportunities #IMDEA

🔵 #IMDEASoftware Director @manuel__carro talks to @Conversation_E about the real limits of #AI, the myths around it, and Europe's role in the #TechRace. From #CyberSecurity to #Software, he breaks down the hype. 🔗Full interview here: theconversation.com/manuel-carro-e…

✨Welcoming new leaders to the IE Board! 👏 Our new Directors bring extensive expertise to serve the IE community & drive progress in: 🎯 Informatics Skills 🎯 Diversity & Inclusion 🎯 Higher Education Data Support their efforts➡️tinyurl.com/2ps8jjmn

Congrats Carmela!

🔵 The newest assistant professor of the IMDEA Software Institute, Kaushik Mallik, comes from Kolkata, and is passionate about food, travel, and science and technologies. 🔎 His work is based in developing algorithmic design principles for CPS software that come with formal correctness guarantees and techniques that are faster, more modular, and can solve richer classes of problems compared to the existing approaches. 🌐 software.imdea.org/news/2024/12-3… #imdea #imdeasoftware

🔵 #NEWS | Innovative approaches to cryptography: IMDEA Software presents advances in distributed keys and zero-knowledge proofs in the framework of the CONFIDENTIAL6G Project. 📄 The team lead by Ignacio Cascudo has presented two papers so far this year related to confidential computing and privacy preservation technologies for the 6G network, at @IACReurocrypt and Public Key Cryptography Conference. 🌐 c.madrid/l4bdk #imdea #imdeasoftware

¿Vivimos en el 'Plasticoceno'? La respuesta, en la #SemanaCienciaMadrid2024. Entrevista en "Buenos Días Madrid" @BuenosDiasOM de @ondamadrid con Irene de Bustamante, directora de IMDEA Agua. +info: telemadrid.es/programas/buen… x.com/RTVMComunica/s…

▶️ @ondamadrid 📻 101.3-106 FM ⏰ 18:05 👉 Semana de la ciencia e innovación con @manuel__carro , Director de IMDEA Software 🎙️En vivo en: @telemadrid telemd.es/ciot

🔵 #InvitedTalk at the IMDEA Software Institute 🗣️ Miguel Ambrona Castellanos, Cryptography Engineer at Input Output Global (IOHK). 📅 TODAY, November 5th ⏰ 11:00 CET 🔎 “A Practical Algorithm for Chess Unwinnability” 🔴 LIVE on zoom: zoom.us/j/3911012202 🔐 @s3

🔵 The IMDEA Software Institute organizes the International Symposium on DIStributed Computing (DISC) 2024 in collaboration with @IMDEA_Networks, and in cooperation with the European Association for Theoretical Computer Science. 📍@Ingenieria_Esp, Madrid 📅 October 28th - November 1st ℹ️ disc-conference.org/wp/disc2024/ #imdea #imdeasoftware

⚛️ En la #EuropeanResearchersNight los investigadores salen del laboratorio para mostrar que la CIENCIA ES BUENA para nuestro bienestar. 🎙 Así lo explicó @manuel__carro, director de @IMDEA_Software y profesor de @La_UPM. @ComunidadMadrid @educacmadrid @madrimasd @MSCActions

Hopfield and Hinton deserve the Nobel in Chemistry - same reasons as Physics. Also Medicine, or were all the news about neural networks outperforming doctors fake? The Literature one, too (hello, ChatGPT!). I'd be happy if they were given ALL the noble prizes this year.