Professor dels Estudis d'Informàtica, Multimèdia i Telecomunicació
Verificació formal, mètodes formals en enginyeria del programari i informàtica teòrica.
Docent dels següents programes: Tecnologies de la Informació i de Xarxes, Enginyeria Informàtica
Grup de recerca: SOM / Internet Interdisciplinary Institute (IN3).
