Área: Arquitectura e Tecnoloxía de Computadores

Doutor pola Universidad de Valladolid coa tese Compile-time support for thread-level speculation 2014. Dirixida por Dr. Diego R. Llanos.