Ciencias de la Computación y de la Decisión
Este grupo de investigación tiene como objetivo principal la aplicación de enfoques sistemáticos, formales y cuantificables al desarrollo, operación y mantenimiento de software; integrando la matemática, estadística ciencias de la computación y prácticas de la ingeniería.