Benazic, Renato, Instituto de Matemática Pura e Aplicada (IMPA), Brasil