Verificación descentralizada y distribuida de flujos en tiempo real: Mejora de la supervisión en sistemas complejos

Determinar si un programa informático es correcto o defectuoso, que se comporta como se espera, es de lo que se encarga la verificación de software, la rama de investigación a la que se dedica Luis Miguel Danielsson. Dado que el software se ha convertido en una herramienta importante para resolver una amplia gama de problemas humanos, es necesario gestionar todos los detalles sobre cómo manejar los datos y el cálculo en un algoritmo determinado. Pero construir software fiable es una tarea…

Un nuevo enfoque de la programación concurrente garantiza la corrección de los programas informáticos

El investigador Joakim Öhman, supervisado por el profesor Aleks Nanevski, presentó su tesis: «Compositional Reasoning of Concurrency with the Visibility Method» el pasado 15 de abril en el Instituto IMDEA Software, acompañado de colegas y familiares. Para mejorar aún más la eficiencia y la velocidad de los programas informáticos en la era posterior al escalado de Dennard, es esencial el desarrollo de programas concurrentes. Los programas concurrentes constan de múltiples procedimientos que se ejecutan en paralelo, los llamados hilos, que…

El Instituto IMDEA Software acoge la XVII edición de las Jornadas REDIMadrid

Cada año, la red madrileña de alta velocidad para universidades e investigación, REDIMadrid, celebra una jornada para poner en común ideas y experiencias con las entidades afiliadas y empresas proveedoras de equipos y servicios de red. En esta ocasión, las XVII Jornadas REDIMadrid tuvieron lugar el pasado 18 de octubre en el edificio de IMDEA Software, siendo las primeras presenciales tras la pandemia de la COVID-19. El director del Instituto IMDEA Software, Manuel Carro, fue el encargado de abrir el acto.…

Hasta el 90% de las webs gubernamentales incluyen cookies de rastreadores de terceros sin el consentimiento de los usuarios

Los investigadores Matthias Götze (TU Berlin), Srdjan Matic (IMDEA Software), Costas Iordanou (Universidad de Chipre de Tecnología), Georgios Smaragdakis (TU Delft) y Nikolaos Laoutaris (IMDEA Networks) han presentado en la ‘Web Science Conference’ el artículo: “Measuring Web Cookies in Governmental Websites”, en el que investigan sitios web gubernamentales de países del G20 y evalúan hasta qué punto las visitas a estos sitios son rastreadas por terceros. Los resultados revelan que en algunos países hasta el 90% de estos sitios web…

La red madrileña ultrarrápida de comunicaciones avanzadas para la investigación y la innovación (REDIMadrid)

El Instituto IMDEA Software diseña, despliega y gestiona REDIMadrid, la red de datos de alta velocidad que conecta a las instituciones de investigación y educación superior de la Comunidad de Madrid. Esta red es una base fundamental para la investigación avanzada en todas las áreas del conocimiento y posibilita la investigación específica en redes de ordenadores, incluyendo el despliegue pionero en comunicaciones cuánticas MadQuantum-CM. © César Sánchez, 2022

Más de 25 estudiantes de IMDEA Software han asistido al taller «Cómo subirse a la montaña rusa de la investigación: habilidades de presentación eficaces»

La profesora adjunta de investigación, Thaleia Doudali, ofreció a los alumnos en prácticas y estudiantes de doctorado muchos consejos y trucos para desarrollar sus habilidades de presentación Esta tarde ha tenido lugar en IMDEA Software, el Taller «Cómo subirse a la montaña rusa de la investigación: habilidades de presentación eficaces», ofrecidol por la Prof. Thaleia Dimitra Doudali, en el que la participación ha sido masiva. Una habilidad fundamental a lo largo de la carrera de un investigador es presentar eficazmente…