Robert Clarisó Viladrosa
Profesor/a Agregado/a
Experto en::
- ingeniería del software
- desarrollo dirigido por modelos
- aprendizaje en línea, eLearning
- TIC Tecnologías de la Información y la Comunicación
- Grupo de investigación
- (SOM) RESEARCH LAB
- Ámbito
- Tecnologías de la información y la comunicación
- Ámbito de especialización
- Tecnologías de Internet e inteligencia artificial,
- Centro de adscripción
- Internet Interdisciplinary Institute (IN3)
- Códigos UNESCO:
- 120310, 330408, 120323, 120318, 120317, 120309, 1203, 110204
- Colabora con
- e-Learn Center
La actividad de I+D+i del investigador Robert Clarisó se centra en el estudio de métodos formales para garantizar la corrección de los sistemas software y hardware. En este campo, ha aplicado técnicas como el análisis estático, la interpretación abstracta o la programación con restricciones.
Los ámbitos principales de su investigación son la aplicación de métodos formales a diferentes ámbitos, entre ellos, la ingeniería del software. También está especializado en la construcción de herramientas para el e-learning.
Es miembro del grupo de I+D+i Systems, Software and Models Systems Research Lab (SOM Research Lab) de la UOC.