BSc in Computer Science from UPC-Barcelona Tech (2000) as the top of his class. Special mention
in the Spanish National University Degree Awards (Premios Nacionales de Fin de Carrera de
Educación Universitaria, 2000).
PhD in Computer Science from UPC-Barcelona Tech (2005). His PhD thesis, titled "
Abstract Interpretation Techniques for the Verification of Timed Systems", was
directed by Dr. Jordi Cortadella Fortuny.
Between 2000 and 2002, he worked as a researcher at UPC in a project financed by the
company Cadence Design Systems. In 2011, he worked in a 3-month research internship at Cadence
Berkeley Labs (Berkeley, California). Between 2002 and 2005, he continued his research
with an predoctoral grant from the Spanish Ministry of Science (FPU, Formación
de Profesorado Universitario).
In 2005, he joined Universitat Oberta de Catalunya as a lecturer. In 2006 he worked as
a part-time associate professor at UPC-Barcelona Tech and, between 2006 and
2011, at the Universitat Autònoma de Barcelona. His lectures focus on the following
topics: automata theory, compilers, algorithms and data structures, graph theory and
undergraduate thesis. Regarding research, he continues his research on formal methods applied to
software engineering, as the coordinator of the Research Group on Software Engineering at
Since 2008, he coordinated undergraduate thesis at the bachelor level in the IT, Multimedia and
Telecommunication Department. Between 2008 and 2011, he was the Academic
Director of postgraduate courses in this Department. Since 2011, he is the Academic
Director of the Official Master in Computing Engineering.