Graduate courses

• Analysis of Concurrent and Distributed Systems, Master on Formal Methdos, Universidad Complutense de Madrid, 2020- current
  Elvira Albert (coordinador), J. Correas, A. Rubio (UCM) and C. Benac, L. Fredlund an G. Román (UPM).
• Extensiones de la Programación Lógica, Universidad Complutense de Madrid, 2012-2013
  Elvira Albert (coordinador), F. López-Fraguas, Rafael Caballero, Jaime Sánchez and Miguel Gomez-Zamalloa.
• Program Analysis and Transformation, Universidad Complutense de Madrid, 2004-2005, 2005-2006, 2006-2007, 2007-2008, 2008-2009, 2009-2010, 2010-2011, 2011-2012
  Ricardo Pena (coordinador), Elvira Albert, Puri Arenas, Jesus Correas, Samir Genaim, Cristobal Pareja, and Clara Segura.
• Functional Logic Programming, Universidad Complutense de Madrid, 2002-2003, 2003-2004
  Mario Rodríguez-Artalejo, F. López-Fraguas, Elvira Albert

Undergraduate courses

• Programación Concurrente (Facultad de Informatica), Universidad Complutense de Madrid, current

Former courses

• Programación Concurrente (Facultad de Informatica), Universidad Complutense de Madrid, 2013-today
• Laboratorio de Programacion 2 (Facultad de Informatica), Universidad Complutense de Madrid, 2006-2008
• Laboratorio de Programacion 3 (Facultad de Informatica), Universidad Complutense de Madrid, 2004-2005, 2008-2009, 2009-2010, 2010-2011, 2011-2012, 2012-2013
• Laboratorio de Programación 1 (Facultad de Informática), Universidad Complutense Madrid, 2002-2004, 2005-2006
• Programación Visual para Internet (E.U.I.), Technical University of Valencia, 1999-2002
• Programación (E.T.S.I.T.), Technical University of Valencia, 2000-2002
• Programación Avanzada (F.I.), Technical University of Valencia, 1999-2000
• Fundamentos de Informática 1 (E.T.S.I.I.), Technical University of Valencia, 1998-1999
• Fundamentos de Informática (E.U.I.T.I.), Technical University of Valencia, 1998-1999