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
🌐 We’re excited to share that #IMDEASoftware now has its own @Wikipedia entry. 🔎 This is another step in giving visibility to our work and the institute’s contributions to computer science research. 👉 Check it out here:.
0
1
4
🔵 Proud of Thaleia Doudali & Georgios Portokalidis for AE co-chairing #EuroSys2025 and co-authoring a paper on 5 years of Artifact Evaluation lessons. 👏 Advancing reproducibility in computer science!. 📰 Read here:
0
3
7
🔵 #INVITEDTalk at IMDEA Software Institute. 🗣️ Jose Luis Ambite, Associate Research Prof @USC . 📅 Wednesday, July 23.⏰ 10h CET.🔎 Federated Learning and Integration of Biomedical Data. 📍 302-Mountain View & Zoom.🔴 LIVE on zoom: 🔐 seminar. #FLINT
0
0
1
RT @Lambda_World: Alexander Gryzlov (@IMDEA_Software ) writes Agda theorem provers that always halt. 🧠 Logic + functional programming + gua….
0
2
0
RT @Lambda_World: Alessio Ferrarini & Pablo Castellanos (@IMDEA_Software ).Testing is out. Proving is in. They’ll show how to use Liquid Ha….
0
2
0
🚀 Desde IMDEA Software estamos muy orgullosos de recibir por primera vez la acreditación María de Maeztu como unidad de excelencia investigadora ¡Un gran impulso para seguir avanzando en ciencia e innovación! #SeveroOchoa #MaríaDeMaeztu #IMDEASoftware
0
0
1
🤝 Representando a #IMDEASoftware estuvieron, Manuel Hermenegildo, dir. fundador; Manuel Carro, dir.; Antonio Fernández Anta, subdir.; Juan Caballero, prof. investigador; y Andrea Iannetta, RRHH. Manuel Hermenegildo fue quien subió a recibir la acreditación.
1
0
0
👥 La ministra de Ciencia, Innovación y Universidades (@CienciaGob), Diana Morant, junto con la ministra de Educación, Formación Profesional y Deportes (@educaciongob), Pilar Alegría, presidieron dicho evento. También participó Jose Manuel Fernandez, director de @AgEInves
1
0
0
🔵 Hoy ha tenido lugar en Zaragoza el Acto de entrega de acreditaciones a los Centros Severo Ochoa y Unidades María de Maeztu 2024.
1
0
0
RT @CienciaGob: 📍 @DianaMorantR, acompañada por la ministra @Pilar_Alegria, preside hoy el acto de entrega de las Acreditaciones a los Cent….
0
8
0
RT @CienciaGob: ✅La ministra de @cienciagob ha entregado las acreditaciones de excelencia Severo Ochoa y María de Maeztu 2024. 🗣️@DianaMor….
0
16
0
🔵 #INVITEDTalk at IMDEA Software Institute. 🗣️ Sriram Sankaranarayanan (UC Boulder). 📅 8-17 July.⏰ 11:00 CET.🔎 Algebraic and Semi-Algebraic Reasoning in Formal Methods. 📍 302-Mountain View & Zoom.🔴 LIVE on zoom: 🔐 06451074. #imdeasoftware
0
0
1
🤝 Agradecemos su interés y la oportunidad de seguir estrechando la colaboración entre IMDEA Software y la @la_UPM.
0
0
0
🚀 También visitaron nuestras instalaciones y conocieron de cerca el trabajo que realizamos en el ámbito del software científico y tecnológico.
1
0
0
👥 Fueron atendidos por nuestro director, Manuel Carro, y el subdirector, Antonio Fernández Anta. 👉Les presentaron las principales líneas de investigación del instituto, así como su misión y visión.
1
0
0
🔵 Ayer recibimos en #IMDEASoftware al rector de la @La_UPM, Óscar García Suárez, junto al vicerrector de Investigación, Luis Gómez Fernández, y la delegada del rector para Comunicación y RR.II., Marta Olea Cárdenas.
1
0
0
🔵 June 26: “My I[M]DEA Software: Poster Competition”.👥 This year’s edition featured 14 participants: 12 from IMDEA Software and 2 from IMDEA Networks. 🏆 Winners:.▫️ Best Lightning Talk: Louis Rustenholz.▫️ Best Poster:.🥇 Kevin van Liebergen & Giannis Roumpos.🥉 Diego Castejón
0
1
2
🏆 El equipo UPC1, de la Universitat Politècnica de Catalunya (@la_UPC), se alzó con el primer premio. ¡y con tres Nintendo Switch 2!. 🎉 Desde #IMDEASoftware, patrocinador platino del evento, felicitamos a todos los participantes y organizadores.
1
0
2
🔵 El 4 y 5 de julio tuvo lugar la XI edición del concurso de programación @_AdaByron_ en la Facultad de Informática de la @unicomplutense, con los 42 mejores equipos de programación de toda España.
1
1
2