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.…

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…