La Facultad
Investigación
Extensión
Doctor Rerum Naturalium
Teoría de Autómatas y Lenguajes Formales, Complejidad Computacional, Lógica Computacional.