eorem-Proving）。1961年任命主持哈佛「数理逻辑和应用数学的教授纪念讲座」。1967年至1991年，领导洛克斐勒大学的逻辑学小组，在那里他是数理逻辑学教授。他证明了图灵机都可转为一组王氏砖（Wang tile）。1968年，英国埃德加·科德针对「细胞自动机」提出自己的「」（以王浩的「」为基础）论点，以探讨「人工生命」议题。