Investigación
Algoritmos y complejidad
Laboratorio teórico
¿Qué hace que un problema computacional sea difícil? Esta es la pregunta principal que nos planteamos en nuestro grupo. Diseñamos algoritmos eficientes para problemas computacionales y probamos los límites inferiores de su complejidad en varios modelos computacionales y según diversas hipótesis.
Entre las áreas de investigación, tenemos los algoritmos exactos y aproximados para problemas NP difíciles, complejidad granular y complejidad de los circuitos.