Robert Clarisó Viladrosa

Robert Clarisó Viladrosa

Profesor de los Estudios de Informática, Multimedia y Telecomunicación
Director del máster universitario de Ingeniería informática

Experto/a en:

Verificación formal, métodos formales en ingeniería del software e informática teórica.

Grupo de investigación: SOM Research Lab / Internet Interdisciplinary Institute (IN3).

Artículos relacionados