Investigación

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:

MFIS

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.

Más..