You are here

Clarisó 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.

R&D Activity

Consultancy and other services