Profesor: Camilo Rueda
Nivel de formación: Doctorado
Área del conocimiento: Métodos formales e interacción

Profesor: Frank Valencia 
Nivel de formación: Doctorado

Profesor: Camilo Rocha Nio
Nivel de formación: Doctorado
Área del conocimiento: Métodos formales y la lógica computacional