Al corriente, la Sección de Ciencias de la Computación cuenta con cuatro grupos de investigación, uno de los cuales es mayormente parte de la Sección de Matemáticas. Para mayor información de cada grupo dirijase a las páginas respectivas.

• Grupo de Procesamiento de Lenguaje Natural
• Grupo de Sistemas Dependibles
• Grupo de Semántica Algebraica (con la Sección de Matemáticas)

El objetivo del Doctorado en Ciencias de la Computación es formar recursos humanos en investigación teórica y aplicada de alto nivel. Para mayor información dirijase a éste link.