ハオ・ワン
1921年、中華民国山東省済南に生まれる。1943年、西南聯合大学数学科で学士号取得。1945年、清華大学哲学科で馮友蘭や金岳霖(中国語版)の指導のもと修士号取得。その後渡米し、1948年、ハーバード大学でクワインの指導のもとPh.D.取得。同年、ハーバード大学のアシスタント・プロフェッサーに就任。
1950年代初頭、チューリッヒに渡りパウル・ベルナイスのもとで研究に従事。1956年、オックスフォード大学の数学哲学コース準教授に就任、ジョン・ロック講義も務めている。1959年、IBM 704で『プリンキピア・マテマティカ』の膨大な定理をわずか9分間で証明するプログラムを書き上げる。この業績により、1983年に国際人工知能会議から「自動定理証明におけるマイルストーン賞」 (Milestone Prize for Automated Theorem-Proving) を授与される。
1961年、母校ハーバード大学の「数理論理学・応用数学ゴードン・マッケイ(英語版)記念冠教授」に就任、スティーブン・クックらを指導する。1967年、ロックフェラー大学論理学教授に就任、同大学の論理学グループの中心を担う。1972年、ニクソン訪中に際し、中国系アメリカ人学者からなる代表団に参加し訪中する。
1991年、長年勤めたロックフェラー大学を退職。1995年、悪性リンパ腫により逝去。