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:
Grup de recerca: SOM / Internet Interdisciplinary Institute (IN3).