中國數學傢和電腦科學傢。生於河北安平,卒於遼寧大連。1937年北京大學數學系畢業後任教於西南聯合大學。1946年到美國普林斯頓大學深造,1949年獲博士學位。1949年夏回國,歷任北京大學數學系副教授、教授,吉林大學數學系主任(1952)、電腦科學系主任(1976)、副校長。1955年當選中國科學院學部委員(院士)。

>

  王湘浩早年從事代數學研究,給出瞭格倫沃爾德定理的正確陳述和證明。關於局部域上單純代數交換子群的工作,得到重要應用。1958年,轉向計算機科學和控制論研究,在多值邏輯和自動機理論方面取得許多重要的成果。1977年起,領導並推動人工智能和計算機代數的研究,在定理機器證明的歸納方法上取得研究成果,1982年提出廣義歸納方法。王湘浩曾任國務院學位委員會計算機學科評議組召集人,全國計算機軟件教材編審委員會主任等職。

  王湘浩還著有紅學著作《紅樓夢新探》。