ContactClarisó Viladrosa, Robert
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.