Organization: Universitat Oberta de Catalunya

Center: Ethical Technologies and Connectivity for Humanity Research Centre (UOC-TECH)

Research group: (SOM) RESEARCH LAB Systems, Software and Models Research Lab

Email: rclariso@uoc.edu

Personal web: https://robertclariso.github.io

Doctor by the Universitat Politècnica de Catalunya (UPC) with the thesis Abstract interpretation techniques for the verification of timed systems 2005. Supervised by Dr. Jordi Cortadella Fortuny.

The R&D activities of researcher Robert Clarisó focus on the study of formal methods for guaranteeing the correctness of software and hardware systems. In this field, he has applied techniques such as static analysis, abstract interpretation and constraint programming. His main research interests are the application of formal methods in different fields, including software engineering. He also specialises in building e-learning tools. He is principal investigator of the UOC's Systems, Software and Models Systems Research Lab (SOM Research Lab) R&D group.

Was part of these groups:
Has been a member of...