Coordinació docent

• Coordinador de Treballs Finals: Tardor 2008 - Actualitat
• Director Acadèmic d'Àrea de Postgrau: Tardor 2008 - Primavera 2011
• Director Acadèmic del Màster Universitari d'Enginyeria Informàtica: Tardor 2011 - Actualitat

Professor responsable d'assignatura

• Teoria d'Autòmats i Llenguatges Formals 1: Tardor 2005 - Actualitat
• Teoria d'Autòmats i Llenguatges Formals 2: Tardor 2005  -Actualitat
• Grafs i Complexitat: Tardor 2011 - Actualitat
• Autòmats i Gramàtiques: Primavera 2012 - Actualitat
• Estructura de la informació: Tardor 2006 - Primavera 2008.
• Compiladors: Tardor 2011 - Actualitat.
• Compiladors 1: Tardor 2005 - Actualitat
• Compiladors 2: Tardor 2011 - Actualitat
• PFC Compiladors: Tardor 2006 - Actualitat
• Formalisation and proof: Primavera 2012 - Actualitat

Consultor

• PFC E-learning - eines UOC: Tardor 2005 - Primavera 2006
• Seminari de recerca (Màster en Societat de la Inf. i el Coneixement): Tardor 2006 - Primavera 2007
• TFM Recerca - Màster en Programari Lliure: Primavera 2010 - Actualitat

Autor de materials docents

• Grafs i Complexitat (coautor)
• Formalisation and Proof
• Guies docents i materials de repàs de Teoria d'Autòmats i Llenguatges Formals 2

Professor de problemes

• Teoria d'autòmats: Tardor 2006 - Primavera 2011

Director de projectes

• Treball final de carrera Eng. Tècnica en Informàtica de Gestió: Tardor 2006 - Primavera 2011
  Direcció de projectes finals relacionats amb el desenvolupament d'aplicacions web.

Professor de teoria

• Compiladors: Primavera 2006