Se dedica a la investigación aplicada en computación, respondiendo a los avances tecnológicos más recientes y anticipando futuras necesidades de la sociedad y la industria. En la actualidad, las tecnologías emergentes han transformado la informática y las telecomunicaciones, generando nuevos desafíos que el grupo aborda a través de cuatro líneas de investigación clave, cada una fundamentada en el estado del arte de sus respectivas disciplinas. Lógica y Computación: El desarrollo de algoritmos basados en fundamentos lógicos y matemáticos sigue siendo un campo de gran relevancia, especialmente en áreas como la verificación formal y el modelado computacional. Los avances recientes incluyen el uso de técnicas de model checking y teoremas automáticos para la verificación de sistemas complejos, garantizando mayor fiabilidad y precisión en aplicaciones críticas como la aviación, la medicina y las finanzas. La lógica computacional, que sigue evolucionando con nuevos enfoques como las lógicas temporales y modales, ha facilitado la creación de algoritmos más robustos para la optimización y resolución de problemas.