Catal | Espaol | English    AAA
Web of the faculty and research staff of the Universitat Oberta de Catalunya
 Curriculum Vitae / Academic training
BSc in Computer Science

BSc in Computer Science (5-year degree) from UPC-Barcelona Tech (Facultat d'Informtica de Barcelona, 2000).


Undergraduate thesis: "Code generation and optimization environment".


Top of the class 1999-2000 (Order: 1 of 190, GPA: 9.35 / 10). Special mention in the Spanish National University Degree Awards (Premios Nacionales de Final de Carrera de Educacin Universitaria, 2000).

PhD in Computer Science

PhD in Computer Science from UPC-Barcelona Tech (2005).


PhD thesis " Abstract Interpretation Techniques for the Verification of Timed Systems", advised el Dr. Jordi Cortadella Fortuny. Cum laude.