Àrea: Arquitectura i Tecnologia de Computadors

Doctor per la Universidad de Valladolid amb la tesi Compile-time support for thread-level speculation 2014. Dirigida per Dr. Diego R. Llanos.