Name:Robert Clarisó

Bio:

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, first as the coordinator of the Research Group on Software Engineering at UOC (GRES-UOC, 2008-2015) and currently as a member of the SOM Research Lab.

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.

Country:Spain

Affiliation:Universitat Oberta de Catalunya

Research interests:Formal Methods, Software Engineering