Català | Español | English    AAA
Web de l’equip docent i investigador de la Universitat Oberta de Catalunya
 Currículum Vitae / Formació acadèmica
Enginyer en Informàtica

Enginyer en Informàtica (Enginyeria Superior, 5 anys) per la Universitat Politècnica de Catalunya (Facultat d'Informàtica de Barcelona, 2000).

 

Projecte Final de Carrera: " Entorn per optimització i generació de codi". Qualificat amb Matrícula 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ó Universitària (2000).

Doctor en Informàtica

Doctor per la Universitat Politècnica de Catalunya en l'àrea de coneixement de Llenguatges i Sistemes Informàtics (programa de doctorat en Software, 2005).

 

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