Semester 2011-2
- Análisis Lógico (Computational Logic)
- Teoría de los Dominios (Seminar on Domain Theory)
Semester 2011-1
- Matemáticas discretas (Discrete Mathematics)
- Teoría de la computación (Theory of Computation)
Semester 2010-2
- Análisis Lógico (Computational Logic)
- Lenguajes de programación y sus paradigmas (Programming Languages and their Paradigms)
Semester 2010-1
Matemáticas Discretas (Discrete Mathematics)
Tópicos Avanzados en Lenguajes de Programación (Seminario de Temas Selectos de Computación 2) (Advanced Topics in Programming Languages)
Semester 2009-2
Lenguajes de Programación y sus Paradigmas (Programming Languages and their Paradigms)
Teoría de Dominios (Posgrado en Ciencias Matemáticas) (Domaing Theory, Graduate Course)
Semester 2009-1
Matemáticas Discretas (Discrete Mathematics)
Seminario de Programación (Programming Seminar)
Semester 2008-2
Lenguajes de Programación y sus Paradigmas (Programming Languages and their Paradigms)
Análisis Lógico (Computational Logic)
Semester 2008-1
Lenguajes de Programación y sus Paradigmas (Programming Languages and their Paradigms)
Matemáticas Discretas (Discrete Mathematics)
Semester 2007-2
Análisis Lógico (Computational Logic)
Programación Funcional y Lógica (Declarative Programming)
Semester 2007-1
Teoría de la Computación (Theory of Computation)
Programación Funcional y Lógica (Declarative Programming)
Semester 2006-2
Análisis Lógico (Computational Logic)
Semester 2006-1
Matemáticas Discretas (Discrete Mathematics)
Teoría de la Computación (Theory of Computation)
Semester 2005-2
Análisis Lógico (Computational logic)
Sistemas de tipos para lenguajes de programación (Type Systems)