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.