Profesor de los Estudios de Informática, Multimedia y Telecomunicación
Verificación formal, métodos formales en ingeniería del software e informática teórica.
Docente de los siguientes programas:
Grupo de investigación: SOM / Internet Interdisciplinary Institute (IN3).