Catal | Espaol | English    AAA
Web del equipo docente e investigador de la Universitat Oberta de Catalunya
 Currculum Vitae / Formacin acadmica
Ingeniero en Informtica

Ingeniero en Informtica (Ingeniera Superior, 5 aos) por la Universitat Politcnica de Catalunya (Facultat d'Informtica de Barcelona, 2000).

 

Proyecto Final de Carrera: " Entorno para optimizacin y generacin de cdigo". Calificado con Matrcula de Honor.

 

Mejor expediente de la promocin 1999-2000 (Orden: 1 de 190, Nota final de carrera: 9.35 sobre 10). Mencin especial en los Premios Nacionales de Final de Carrera de Educacin Universitaria (2000).

Doctor en Informtica

Doctor por la Universitat Politcnica de Catalunya en el rea de conocimiento de Lenguajes y Sistemas Informticos (programa de doctorado en Software, 2005).

 

Tesis doctoral " Abstract Interpretation Techniques for the Verification of Timed Systems", dirigida por el Dr. Jordi Cortadella Fortuny. Calificacin: Excelente cum laude por unanimidad.