Robert Clarisó Viladrosa

Veure més xarxes
- Personal website

Professor Agregat

Expert in::

software engineering
models driven development
eLearning
ICT Information and Communication Technologies

Research group: (SOM) RESEARCH LAB
Area: Information and communication technologies
Area of specialization: Internet technologies and artificial intelligence,
Membership Center: Internet Interdisciplinary Institute (IN3)
UNESCO codes:: 120310, 330408, 120323, 120318, 120317, 120309, 1203, 110204
Collaborates with: e-Learn Center

My profile

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.

Files (CV)

CV.pdf

Lines of research

Formal methods

In software systems, errors may have catastrophic consequences, especially in systems that are critical for security, such as medical or aerospace programmes. Code checks and reviews may reduce the error rate, but in some cases, a higher security level is required. With this purpose, the formal methods form part of a category of techniques that analyse a mathematical description of the system in order to guarantee its accuracy. Some of the techniques used for formal software verification are model checking, theorem demonstration and static analysis. One problem that all these methods share is the high degree of computational complexity, which may limit applicability in real-world examples. This line of research takes pragmatic approaches into account in order to guarantee the software systems' quality on an industrial scale, and explores key topics such as usability, efficiency and applicability.

Model-driven engineering

Model-driven development is a paradigm that fosters the use of software models in all program design tasks (direct engineering, reverse engineering, interoperability...), as is customary in all the other engineering disciplines. For example, it tries to reduce development costs by focusing more on the creation of software models (specified in UML or using domain-specific languages) than on the code and, after validating these models, it uses code generation tools to automatically generate final implementation of these models. In this research line, we explore techniques and tools for supporting all aspects of model-driven engineering, including handling of very large models, heterogeneous models, collaborative modelling and model discovery (from API to source code).

E-Learning Tool Development

One of the challenges in education is achieving quality education that is scalable. The aim is to automate certain repetitive tasks, such as correcting exercises or answering frequent questions, offering the student personalized answers that are useful in their learning process.

Robert Clarisó Viladrosa

Expert in::

My profile

Files (CV)

Lines of research

Formal methods

Model-driven engineering

E-Learning Tool Development

Projects

Technology Solutions

Patents

Spin-Offs

Published works

Teaching activities

Broadcast

Contact