Unit: Digital transformation, AI, technology

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

Was part of these groups:

Email: rclariso@uoc.edu

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 programming engineering. He also specialises in building e-learning tools. He is a member of the UOC's Systems, Software and Models Systems Research Lab (SOM Research Lab) R&D group.