Robert 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:
- ACM Portal
- Google Scholar
- MSN Academic Search