da Costa Marques, Ivan, Programa de Pós-graduação em Informática, Brasil