IMDEA Software
@IMDEA_Software
Followers
2K
Following
4K
Media
1K
Statuses
3K
At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient | @ComunidadMadrid
Madrid, Spain
Joined September 2013
📣 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.📍
0
6
12
🔵 ¡Nos vemos hoy en la XI edición del concurso universitario de programación @_AdaByron_ !. 🛜 Estaremos en el hall de la Facultad de Informática de la @unicomplutense informando sobre nuestros programas de prácticas y doctorado. ¡Pásate a saludarnos!.
🎉 IMDEA Software will be a Platinum Sponsor of the XI @_AdaByron_ Programming Contest, July 4–5 at @unicomplutense!. 📣 Our Deputy Director, Antonio Fernández, will give a welcome talk on research careers in software. ▶️ Watch it live on YouTube!. 👉
0
1
1
🔵 El pasado 1 de julio, Manuel Carro, director de #IMDEASoftware, participó en el encuentro de la Alianza #SOMMa en la @ComunidadMadrid, junto a representantes de los principales centros #SeveroOchoa y #MaríadeMaeztu. 🔗Más información aquí:
0
0
2
RT @madqci: 🎯 Ciencia, transferencia y colaboración al servicio del futuro. Así fue el Workshop Anual MADQuantum-CM 2025 con.@unicompluten….
0
2
0
🔵 El 30 de junio, Carlos de Higes y David Ricón (#IMDEASoftware / #REDIMadrid) presentaron en el Workshop #MADQuantumCM los avances en infraestructuras y herramientas de ciberseguridad para redes cuánticas. 🔐 Un paso más hacia un futuro digital más seguro.
🎯 Ciencia, transferencia y colaboración al servicio del futuro. Así fue el Workshop Anual MADQuantum-CM 2025 con.@unicomplutense, @CEMgob, Fundación @Vithas, @IMDEA_Software, @IMDEA_Networks, @La_UPM, @IsomUpm, @UAM_Madrid, @intaespana.
0
0
1
🔵 #INVITEDTalk at IMDEA Software Institute. 🗣️ Andrés Abeliuk, assistant professor (University of Chile - CENIA). 📅 Thursday, July 3.⏰ 11h.🔎 Evaluating Fairness in Large Language Models. 📍 302-Mountain View.🔴 LIVE on zoom: 🔐 @s3. #LLMs
0
0
1
🔵 Manuel Carro, Director of #IMDEASoftware, joined the latest #SOMMa Alliance meeting. 🔬 SOMMa unites Spain’s top research centers recognised with Severo Ochoa & María de Maeztu distinctions. 👏Proud to contribute to this community of scientific excellence.
0
1
1
🎉 IMDEA Software will be a Platinum Sponsor of the XI @_AdaByron_ Programming Contest, July 4–5 at @unicomplutense!. 📣 Our Deputy Director, Antonio Fernández, will give a welcome talk on research careers in software. ▶️ Watch it live on YouTube!. 👉
0
0
1
RT @ces_com_uy: Cerramos nuestro mes aniversario con el último destino de la gira europea, visitando la embajada uruguaya en España, y los….
0
1
0
🔵Researchers from #IMDEASoftware won Best Work-in-Progress at #JNIC2025 for their paper "Measuring Data Pollution in Cryptocurrency Abuse Reporting Services". 🏆Congrats to Gibran Gómez, Juan Caballero & Kevin van Liebergen!. 📰 Read more: 📸JNIC
0
3
3
🥘 After the competition, we all enjoyed a paella lunch in the courtyard and some fun games to get to know each other better. 👏It was a fantastic day full of science, collaboration, and community. We’re already looking forward to the next edition!
0
0
1
🎤 The elevator pitch award went to Louis Rustenholz, who did an excellent job summarizing his research in just one minute.
1
0
0
🏆 Choosing the winners was no easy task for the jury this year! In the end, two first prizes were awarded, shared by Kevin van Liebergen and Giannis Roumpos, with Diego Castejón taking third place.
1
1
1
🗣️ Once again this year, the quality of the posters was outstanding. All participants put in a great deal of effort, not only in preparing their posters but also presenting their work and delivering impressive elevator pitches.
1
0
0
🎉 A big thank you to everyone who took part in the #PosterCompetition2025 at the #IMDEASoftware Institute!
1
1
1
🔵 #INVITEDTalk at IMDEA Software Institute. 🗣️ Carlos Baquero-Moreno, Professor at University of Porto. 📅 Wednesday, June 25.⏰ 11:00.🔎 Different Strategies in Scientific Publishing (How to be (i)relevant). 📍 302-Mountain View.🔴 LIVE on zoom: 🔐 @s3
0
2
2
🔵 #INVITEDTalk at IMDEA Software Institute. 🗣️ Javier Conde, Assistant Professor at UPM, and Pedro Reviriego, Professor at @La_UPM. 📅 Thurdsay, June 19.⏰ 11:00 CET.🔎 Large Language Models (LLMs): The foundations of a Revolution in Computer Science. 📍 302-Mountain View & Zoom
0
0
0
🔵 #INVITEDTalk at IMDEA Software Institute. 🗣️ S. Akshay, Professor in the Department of Computer Science and Engineering at @iitbombay. 📅 Tuesday, June 17.⏰ 11:00 CET.🔎 Markov Decision Processes as Distribution Transformers: Certified Policy Verification and Synthesis. 📍
0
0
1
🔵 Was the April 28 blackout in Spain the result of a cyberattack?. 💡In @Conversation_E, Georgios Portokalidis, associate research professor at IMDEA Software, explores this question and what it reveals about the cybersecurity of critical infrastructure. 📰Read the full article.
0
0
2
RT @IMDEAInstitutes: 👨🏻💻 Gregorio Portokalidis, investigador en @IMDEA_Software, se pregunta lo que muchos de nosotros: el apagón del pasa….
0
1
0
RT @Conversation_E: ¿Y si el #apagón del 28 de abril fue en realidad un ciberataque? El experto @portokalidis de @IMDEA_Software nos lo exp….
0
1
0