Actualmente, el Departamento de Computación cuenta con diversos grupos de investigación, que en su conjunto cubren gran diversidad de temas, incluyendo Ingeniería de Software, Teoría de la Computación, Lenguajes de Programación, y Educación en Ciencias de la Computación.
Para conocer más detalles de las actividades de los diferentes grupos de investigación del Departamento, haga clic abajo:
El grupo de Métodos Formales e Ingeniería de Software realiza investigaciones en diversas temáticas en estas áreas, incluyendo Ingeniería de Requisitos, Especificación Formal de Software, Verificación de Programas, Técnicas de Análisis Automático y Semi-Automático, Testing, tanto desde una perspectiva teórica como práctica.