Catal | Espaol | English    AAA
Web de l’equip docent i investigador de la Universitat Oberta de Catalunya
 Currculum Vitae / Formaci acadmica
Enginyer en Informtica

Enginyer en Informtica (Enginyeria Superior, 5 anys) per la Universitat Politcnica de Catalunya (Facultat d'Informtica de Barcelona, 2000).

 

Projecte Final de Carrera: " Entorn per optimitzaci i generaci de codi". Qualificat amb Matrcula d'Honor.

 

Millor expedient de la promoci 1999-2000 (Ordre: 1 de 190, Nota final de carrera: 9.35 sobre 10). Menci especial en els Premis Nacionals de Final de Carrera d'Educaci Universitria (2000).

Doctor en Informtica

Doctor per la Universitat Politcnica de Catalunya en l'rea de coneixement de Llenguatges i Sistemes Informtics (programa de doctorat en Software, 2005).

 

Tesi doctoral " Abstract Interpretation Techniques for the Verification of Timed Systems", dirigida pel Dr. Jordi Cortadella Fortuny. Qualificaci: Excellent cum laude per unanimitat.