Courses (at Pontificia Universidad Javeriana - Cali)

  • BFOM - Bases Formales de la Computación
  • FAP - Fundamentos de Algoritmos y Programación
  • INPR - Introducción a la Programación

Courses (at Escuela Colombiana de Ingeniería)

  • FMEF - Fundamentos en Métodos Formales
  • TPRO - Teoría de la Programación