Bustos, Oscar H., Instituto de Matemática Pura e Aplicada (IMPA), Brasil