Profesor de los Estudios de Informática, Multimedia y TelecomunicaciónDirector del máster universitario de Ingeniería informática
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 Research Lab / Internet Interdisciplinary Institute (IN3).