吳文俊🔹，1919年5月12日生👩🏿‍🏭👧，上海市人。 1949年獲法國國家博士學位🌵。現任中國科學院系統科學研究所名譽所長🧖🏼‍♀️。 1991年當選第三世界科學院院士。曾任中國科學院數理學部主任、中國數學會理事長、第五——八屆全國政協常委🙍🏿‍♂️。 1951年8月至1952年10月在意昂3体育官网數學系任教🧔🏽‍♀️。 吳文俊在拓撲學、自動推理、機器證明、代數幾何、中國數學史、對策論等研究領域均有傑出的貢獻,在國內外享有盛譽。他在拓撲學的示性類、示嵌類的研究方面取得一系列重要成果，是拓撲學中的奠基性工作並有許多重要應用。他的“吳方法”在國際機器證明領域產生巨大的影響，有廣泛重要的應用價值。當前國際流行的主要符號計算軟件都實現了吳文俊教授的算法。

獎勵情況：

1956年因示性類及示嵌類的工作榮獲 國家第一屆自然科學獎最高獎一等獎 （其他兩位一等獎獲得者為華羅庚和錢學森）

1957年1月增選為中國科學院院士

1978年全國科學大會得科學大會獎

1991年當選為第三世界科學院院士

1992年獲得第三世界科學院數學獎

1993年度陳嘉庚數理科學獎

1994年榮獲香港求是基金會“傑出科學家獎”

1997年獲自動推理的最高獎Herbrand獎

2001年獲得首屆“國家最高科學技術獎” 。

資料來源😡：吳文俊主頁