Shelomo Selinger, University of Minnesota