Knuth, Alan, Universidade Federal do Rio Grande, Brasil