At Pontificia Universidad Javeriana - Cali

  • BFOM - Bases Formales de la Computación
  • DIA - Diseño e Implementación de Algoritmos
  • DFS - Desarrollo Formal de Software
  • INPR - Introducción a la Programación

At Escuela Colombiana de Ingeniería - Bogotá

  • TPRO - Teoría de la Programación