Teoría de la Computación

En esta línea de investigación se trata de conocer las capacidades y limitaciones fundamentales de las computadoras. Para ellos se incluyen temas como Teoría de complejidad, cuyo objetivo principal es clasificar problemas de acuerdo a un grado de dificultad; teoría de computabilidad, donde el objetivo principal es clasificar problemas que son solubles o no solubles, y finalmente los modelos computacionales.

* Análisis y Diseño de Algoritmos
* Criptografía
* Fundamentos Matemáticos de la Computación
* Geometría Computacional y Combinatoria
* Lógica Matemática
* Optimización
* Teoría de Computabilidad
* Teoría de la Complejidad

Investigadores relacionados con esta línea:

Dolores Lara Cuevas

Juan Carlos Ku Cauich

Guillermo Benito Morales Luna

Oliver Schütze