Courses (at Pontificia Universidad Javeriana - Cali)

  • AGRA - Árboles y Grafos
  • DFS - Desarrollo Formal de Software
  • BFOM - Bases Formales de la Computación
  • DFS - Desarrollo Formal de Software
  • FAP - Fundamentos de Algoritmos y Programación
  • INPR - Introducción a la Programación

Courses (at Escuela Colombiana de Ingeniería)

  • TPRO - Teoría de la Programación