王湘浩

[拼音]：Wang Xianghao

王湘浩(1915～　　)，中国数学家和计算机科学家。中国科学院学部委员。河北省安平县人。1937年毕业于北京大学数学系。曾在西南联合大学任教。1946年到美国普林斯顿大学数学系当研究生，1949年获理学博士学位。1949年中华人民共和国成立前回国。历任北京大学副教授、教授,吉林大学教授、数学系主任、计算机科学系主任、副校长。1955年当选为中国科学院数学物理学部委员。他是中国数学会理事、中国计算机学会副理事长、中国人工智能学会副理事长。他早年从事代数与代数数论方面的研究，给出了格伦沃尔德定理的正确陈述和证明。1960年参加计算机研制工作，从事控制论、自动机理论、多值逻辑等方面的研究。70年代在中国首先倡导人工智能研究，他领导的吉林大学人工智能研究集体在计算机代数、机器定理证明、模糊逻辑、专家系统等方面取得大量成果并培养了60余名研究生。发表关于代数理论、人工智能等方面论文20余篇。