Se encuentra usted aquí

Contacto
Clarisó Viladrosa, Robert
ORCID: 
0000-0001-9639-0186

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.

Actividad I+D+i

Asesoria, consultoria y otros servicios