Hao Wang, Rensselaer Polytechnic Institute