Esteu aquí

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

L'activitat R&I de l'investigador Robert Clarisó se centra en l'estudi de mètodes formals per a garantir la correctesa de sistemes software i hardware. En aquest camp, ha aplicat tècniques com ara l'anàlisi estàtica, la interpretació abstracta o la programació amb restriccions.

Els seus principals interessos de recerca són l'aplicació de mètodes formals a diferents àmbits, entre ells l'enginyeria del programari. També està especialitzat en la construcció d'eines per a l'e-learning.

És membre del grup d'R&I Systems, Software and Models  (SOM Research Lab).

Activitat R&I

Assesoria, consultoria i altres serveis