Robert
Clarisó Viladrosa
Profesor Agregado
Unidad: Transformación digital, IA, tecnología
Grupo de investigación: (SOM) RESEARCH LAB Systems, Software and Models Research Lab
Email: rclariso@uoc.edu
Doctor por la Universitat Politècnica de Catalunya (UPC) con la tesis Abstract interpretation techniques for the verification of timed systems 2005. Dirigida por Dr/a. Jordi Cortadella Fortuny.
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.