Juan A. Fraire is a visiting professor at the chair of Prof. Holger Hermanns, Saarland University, Germany. Besides his occupation at Saarland University, he is a permanent staff researcher and professor at INRIA (France) and CONICET-UNC (Argentina).