Teoría de la Computación

English version

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:

  1. ¿Qué es un dispositivo de cómputo? (secuencial, paralelo, distribuido, biológico, quántico)
  2. ¿Cuál es el costo de un cómputo? (tiempo, espacio, comunicación, tamaño del programa)
  3. ¿Qué se puede computar eficientemente y que no? (Ciclo más corto vs. ciclo más largo)
  4. ¿Cómo clasificar a todos los problemas de acuerdo con su dificultad? (complejidad)
  5. ¿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

¤ Maestría