Área: Arquitectura y Tecnología de Computadores

Doctor por la Universidad de Valladolid con la tesis Compile-time support for thread-level speculation 2014. Dirigida por Dr. Diego R. Llanos.