Professor do Departamento de Ciência da Computação, do Instituto de Matemática e Estatística (IME), João Eduardo Ferreira.