Línia de recerca: Aplicacions de la lògica a la informàticaLògica a la Informàtica. Estudi i desenvolupament de fonaments, mètodes i eines basats en la lògica per a la resolució de problemes computacionalment complexos.