济南，1943年西南联合大学数学系毕业，1945年清华大学哲学系毕业，国内期间曾师从着名逻辑学家金岳霖。1948年哈佛大学逻辑学博士毕业，同年成为哈佛的助理教授(Assistant Professor)。1950年代初，随在苏黎世学习。1956年获荐为牛津大学Reader in the Philosophy of Mathematics。1959年，王浩在「IBM 704计算机」上用9分钟计算时间，证明了罗素、德怀特海所着《数学原理》中数百余条数理逻辑定理；因此在1983年于国际人工智能联合会议荣获首届证明