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…

Escalando el monte Everest de la programación informática

Aleks Nanevski ha dedicado su vida a resolver uno de los mayores retos de la informática, emprendiendo un largo y arriesgado camino para revolucionar nuestra forma de concebir la programación en general, y la programación concurrente en particular. Aleks Nanevski, investigador del Instituto IMDEA Software, descubrió su pasión por las matemáticas a los 10 años cuando un profesor de su colegio en Macedonia vio en él aptitudes y empezó a darle clases extraescolares. Desde entonces, comenzó a participar en competiciones…

Investigadores de IMDEA Software consiguen publicar 8 artículos en la Conferencia CCS

ACM es la principal conferencia anual del Special Interest Group on Security, Audit and Control (SIGSAC) de la Association for Computing Machinery (ACM). Un grupo de investigadores de IMDEA Software asistió a la Conferencia ACM sobre Seguridad Informática y de las Comunicaciones (CCS) en Los Ángeles, del 7 al 11 de noviembre, para presentar los 8 artículos que fueron aceptados. ACM es la principal conferencia anual del Special Interest Group on Security, Audit and Control (SIGSAC) de la Association for…

Anaïs Querol presenta “ARCHITECH: Advanced Research of Cryptographic Techniques to build efficient blockchains with privacy and security”, su tesis doctoral

El profesor asociado del Instituto IMDEA Software, Dario Fiore, ha dirigido la tesis de la investigadora Anaïs Querol cuyo objetivo principal es mejorar los métodos aplicados en la actualidad y que los desarrolladores puedan crear blockchains transparentes y descentralizadas con todas las garantías de privacidad y seguridad de forma eficiente. La que fuera estudiante de doctorado del Instituto IMDEA Software, Anaïs Querol, y supervisada por profesor Dario Fiore, realizó la defensa de su tesis el pasado mes de septiembre en la Escuela Técnica…