TEORÍA DE LA COMPUTACIÓN
Objetivos
La teoría de la computación estudia las propiedades generales del cómputo, ya sea natural, artificial, o imaginario. Busca dar respuestas a preguntas fundamentales como son:
- ¿Qué es un dispositivo de cómputo? (secuencial, paralelo, distribuido, biológico, quántico)
- ¿Cuál es el costo de un cómputo? (tiempo, espacio, comunicación, tamaño del programa)
- ¿Qué se puede computar eficientemente y que no? (Ciclo más corto vs. ciclo más largo)
- ¿Cómo clasificar a todos los problemas de acuerdo con su dificultad? (complejidad)
- ¿Qué no se puede computar? (si un programa es correcto o no)
Líneas de investigación
- Semántica de lenguajes
- Lógica matemática y lógica computacional
- Autómatas y lenguajes formales
- Algoritmos
- Cómputo distribuido
- Geometría computacional
- Combinatoria
- Teoría de categorías
Tutores del área
Maestría y Doctorado
- Dr. David Flores Peñaloza
- Dr. Francisco Hernández Quiroz
Lógica modal, Teoría de la computabilidad, Semántica de lenguajes de programación - Dr. Sergio Rajsbaum Gorodesky
Teoría del Cómputo Distribuido, Teoría y Algoritmos en Grafos - Dr. David Rosenblueth
Verificación de Modelos, Inteligencia Artificial, Redes Regulatorias de Genes - Dr. Jorge Urrutia Galicia
Geometría Discreta y Computacional
Maestría