PhD in Computer Engineering at Universidad de Zaragoza (Spain). Supervised by José Merseguer. 2014.

Master thesis project at Universidad de Zaragoza (Spain). Supervised by Francisco J. Seron and Nacho Pulido. 1999.

Degree in Computer Engineering, Escuela de Ingeniería y Arquitectura of the Universidad de Zaragoza (Spain), 1999.