IMDEA Software

🏆 Our researcher, Alessandra Gorla, has received the Most Influential Paper Award at #ASE2025 for her work “Automated Test Input Generation for Android: Are We There Yet?”. Congratulations!

👉 Read the full story on our website: c.madrid/1s6q8

🔵 We’re happy to share that Dario Fiore has been promoted to Research Professor at IMDEA Software!

💻 Dario’s work in cryptography continues to strengthen our research community. We’re excited to see this well-earned step in his career.

👏 Congratulations, Dario!

🔵 #INVITEDTalk at IMDEA Software Institute

🗣️ Luis Rodrigues, professor at Instituto Superior Tecnico, Universidade de Lisboa

📅 Monday, Nov 24
⏰ 15:00 CET
🔎 Achieving Low Latency in Geo-Distributed Totally Ordered Logs

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/4911012202
🔐 @s3

🔵 IMDEA Software at Lambda World 2025!

💻 IMDEA Software participated in this international conference on functional programming, connecting with researchers and companies to explore the latest trends.

👉 Check out the full article: c.madrid/39owh

🔵 Our researcher Kaushik Mallik has been awarded the Ramón y Cajal 2024 Fellowship, granted by the Spanish Ministry of Science, Innovation and Universities.

💡 We are very proud of this achievement and look forward to seeing great results in the coming years.

👉 Full article: c.madrid/wq31p

🔵 #ThesisDefense

🗣️ Researcher Fedor Ryabinin, advised by Alexey Gotsman, is making his thesis defence next Tuesday, November 25.

⏰ 10:30
📍 Sala de Grados (H-1001), ETSIInf. UPM, Campus de Montegancedo
🔎 Fast State-Machine Replication in Geo-Distributed Systems

#imdeasoftware #ImdeaThesis

💻La semana pasada nos visitaron los estudiantes del CEIPSO Padre Garralda para participar en nuestra actividad “Gymkhana: Software Matters” y descubrir de forma divertida cómo el software impulsa el mundo que nos rodea.

🧪Esta actividad se engloba dentro de la #SemanaCienciaInnovacion

🔵Our Director, Manuel Carro, took part in the opening conference of the Tech-Hub 6G meeting, highlighting the origins and impact of the IMDEA Institutes in driving scientific and technological innovation in the Madrid region.

📰 Read the full article here: c.madrid/k0o44

💻 IMDEA Software internship positions

Successful candidates will contribute to the design and implementation of distributed protocols for blockchains and transaction processing.

👨‍🏫 Alexey Gotsman
⏳ 4–6 months
📍 Campus Montegancedo (Madrid)
🗓️ December 1st
🔗 software.imdea.org/careers/2025...

🔵 #INVITEDTalk at IMDEA Software Institute

🗣️ Albert Garreta, PhD in Mathematics (Stevens Institute of Technology, USA)

📅 Wednesday, November 5
⏰ 11:00 CET
🔎 Zinc: reducing arithmetization overheads in proof systems

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3

🔵 #INVITEDTalk at IMDEA Software Institute

🗣️ Alexandru Popa, Professor Dept. Computer Science (University of Bucharest)

📅 Tuesday, November 4
⏰ 11:00 CET
🔎 Timeline Cover in Temporal Graphs: Exact and Approximation Algorithms

📍 302-Mountain View & Zoom
🔴 LIVE on zoom: zoom.us/j/3911012202
🔐 @s3

🔵 El 21 de octubre, IMDEA Software acogió las XX Jornadas REDIMadrid, un encuentro que reunió a los socios de la región para debatir sobre el futuro de la red que conecta centros de investigación, universidades y entidades de innovación en la Comunidad de Madrid

📰 c.madrid/sfvt1

We're hiring! @imdea-software.bsky.social is looking for an Assistant Research Professor, including in systems!
Join a leading research institute in Madrid 🇪🇸
software.imdea.org/careers/2025...
#FacultyJob #SystemsResearch #ComputerScience #Madrid

💼 IMDEA Software is offering an #HRTechnician position for proactive and detail-oriented candidates interested in the complete employee lifecycle, payroll, and labor compliance.

📍 Campus Montegancedo (Madrid)
🗓️ November 15th
🔗 software.imdea.org/es/careers/2...

🔵 Concluimos las XX #JornadasREDIMadrid.

🤝 Queremos dar las gracias tanto a los asistentes como a todos los ponentes de universidades, centros de investigación y empresas, que nos han mostrado los últimos avances en redes, ciberseguridad y computación cuántica.

🎉 ¡Gracias a todos por participar!

🔵En la última ponencia del día, Aniketh Girish, de IMDEA Networks, advierte que muchos dispositivos Android recopilan señales WiFi y Bluetooth sin que los usuarios lo sepan, permitiendo su localización.

🗣️"Desactiva escaneo y revisa permisos para proteger tu privacidad".

🔵Pablo Molinero ha hecho una introducción sobre cómo protegerse frente a ataques avanzados a redes de telecomunicaciones.

🗣️“Con el uso de la inteligencia artificial, podemos reducir el tiempo de detección y notificación de un ataque en una red de comunicaciones de 21 días a solo 12 horas”.

🔵Juan Caballero, IMDEA Software, analiza ataques de ransomware contra bases de datos que en realidad son estafas sin malware.

🗣️"Hemos conseguido capturar 131 infecciones de base de datos a nuestros Honeypots, con las que hemos podido analizar la secuencia y metodología de los ataques".

🔵Shadi Motaali, de la UAM, analizó anomalías BGP en 4 fases con Random Forest y XGBoost.

🗣️"La combinación de marcadores y la optimización de parámetros permiten detectar comportamientos maliciosos con mayor precisión y menor tiempo de inferencia".

🔵 Alberto Sebastián, UPM, ofrece una panorámica de las comunicaciones cuánticas en Madrid, destacando los siguientes datos de la QCI: 29 localizaciones en 19 instituciones, 32 sistemas cuánticos de 10 fabricantes diferentes y 10 escenarios beyond-QDK.

Alberto Compañ y Juan Manuel Bolaño, del CSIC, hablaron sobre el uso de herramientas de la red, destacando que la combinación de varias herramientas complementarias permite una gestión más eficiente.

🔵Rolando González, Ruijie, presenta el futuro de las redes de campus con cableados híbridos ópticos/eléctricos.

🗣️“Ruijie ha diseñado equipamiento para todo el campus, desde switches de núcleo hasta dispositivos con huella acústica nula, ideales para aulas y otros entornos sensibles al ruido”.

🔵José Lucas y Ana Risueño, de Axians | Juniper, destacan la herramienta Agentic AI: “La gestión de redes puede ser como la música: instrumentos que actúan solos bajo un director que los guía, todo de forma autónoma gracias a la inteligencia artificial Agentic”.

🔵Juan Quemada, de la UPM , ofreció una perspectiva histórica con motivo del 40º aniversario de la primera conexión española a Internet.

👉En 1985, Juan, junto a Fernando Fournon, revolucionó la historia de las comunicaciones en España al desplegar el primer servidor de correo en #EUNET.

🔵César Sánchez, Director de #REDIMadrid, ha realizado una revisión del estado de la red y ha solicitado que, en la nueva Ley de la Ciencia, se tengan en cuenta los adecuados dimensionamientos y atribuciones de los cargos en los diferentes niveles de la infraestructura de investigación.

🔵El Director Adjunto de #IMDEASoftware, Antonio Fernández, ha tomado el relevo de Marina para reflexionar sobre la labor que se realiza desde #REDIMadrid con el fin de garantizar el funcionamiento ininterrumpido del servicio.

🔵 Marina Villegas, Dir.ª Gral. de Investigación e Innovación Tecnológica, ha dado comienzo a estas jornadas destacando la contribución de #REDIMadrid para que universidades y entidades públicas y privadas conviertan sus avances científicos en una realidad.

🚀¡Damos comienzo a las XX #JornadasREDIMadrid!

▶️Recuerda que puedes seguir por streaming todas las charlas de este día ¡No te lo pierdas!

🔗https://www.redimadrid.es/jornadas.html

🧪 Este 20 de octubre a las 9h se abre el registro de reservas para las actividades de la Semana de la Ciencia de Madrid.

🤖 En IMDEA Software tenemos preparada una actividad que no te puedes perder: La Gymkhana: Software Matters.

🔗 +INFO:
www.semanacienciamadrid.org/actividad/gy...

⏰ Tic, tac, tic, tac… ¡Comienza la cuenta atrás para las XX #JornadasREDIMadrid!

👀¿Sabías que también puedes seguirlas online?

👉 En la web encontrarás el enlace para no perderte ni un solo minuto de este evento: www.redimadrid.es/jornadas.html