Robert Clarisó

October 2, 2015

robert2Robert Clarisó is an associate professor at the Open University of Catalonia (UOC). He has previously been a researcher at UPC-Barcelona Tech, a research intern at Cadence Berkeley Labs and a part-time lecturer at UPC-Barcelona Tech and Universitat Autónoma de Barcelona (UAB).

His research interest consist in the use of formal methods in software engineering and the development of tools and environments for e-learning.

In the former area, he has worked on the application of constraint programming, boolean satisfiability and abstract interpretation in the Model-Driven Engineering domain. In the latter, his contributions deal with the development of tools for automated assessment and technology-enhanced learning.

You can find further information about his activities here: