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