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…

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…