Este grupo creado por las profesoras Montse Hermo, Paqui Lucio y Marisa Navarro investiga en: Especificación de programas de ordenador, transformación y verificación, programción funcional, programación lógica, Transformación de grafos, Razonamiento automático con grandes ontologías...