At Pontificia Universidad Javeriana - Cali

• ADA - Análisis y Diseño de Algoritmos
  • 2016-1, 2016-2, 2017-1, 2017-2, 2018-1, 2018-2, 2019-1, 2019-2, 2020-1
• AGRA - Árboles y Grafos
  • 2018-2, 2019-1, 2019-2
• BFOM - Bases Formales de la Computación
  • 2017-2
• DIA - Diseño e Implementación de Algoritmos
  • 2019-1
• DFS - Desarrollo Formal de Software
  • 2018-1
• FAP - Fundamentos de Algoritmos y Programación
  • 2017-1, 2018-1, 2019-2
• INMO - Introducción al Modelado de Sistemas
  • 2016-2, 2017-1, 2017-2
• INPR - Introducción a la Programación
  • 2016-1

At Escuela Colombiana de Ingeniería - Bogotá

• ALGO - Algoritmos
  • 2014-1, 2015-1
• FMEF - Fundamentos en Métodos Formales
  • 2017-2, 2018-2
• LCAL - Lógica Calculativa
  • 2013-2, 2014-1, 2014-2, 2015-1, 2015-2
• LMAT - Lógica Matemática
  • 2013-2, 2014-2, 2015-2
• PIMO - Programación Imperativa Modular
  • 2013-1, 2013-2, 2014-1, 2014-2, 2015-1, 2015-2
• TPRO - Teoría de la Programación
  • 2013-1