伦瓦尔德定理的条件。数学界将其改进后的定理命名为格伦瓦尔德-王定理。1949年6月启程回国，经香港、天津，8月到北京，被北京大学数学系聘为副教授，1950年晋升教授。1952年院系调整时，到东北人民大学（今吉林大学）数学系任系主任，1955年选为中国科学院数学物理学部委员（院士）。1976年吉林大学计算机科学系成立，任该系系主任，后兼任吉林大学副校长，中国计算机科学学会会长，中国人工智能学会第一任会长，中国计算机科学学报主编。1993年5月4日，逝世于大连。
社会兼职.王湘