国普林斯顿大学，在着名代数学家埃米尔·阿廷指导下攻读学位，1947年夏取得硕士学位，1949年春取得博士学位。其博士学位论文补充了格伦瓦尔德定理的条件。数学界将其改进后的定理命名为格伦瓦尔德-王定理。1949年6月启程回国，经香港、天津，8月到北京，被北京大学数学系聘为副教授，1950年晋升教授。1952年院系调整时，到东北人民大学（今吉林大学）数学系任系主任，1955年选为中国科学院数学物理学部委员（院士）。1976年吉林大学计算机科学系成立，任该系系主任，后兼任吉林大学副校长，中国计算机科学学会会长