吳盡昭，男，漢族，1965年10月出生，中共黨員，教授，中科院成都信息技術有限公司研究員，計算機科學家與數學家。
現任廣西大學副校長。
基本介紹
- 中文名：吳盡昭
- 國籍：中國
- 民族：漢族
- 出生日期：1965年10月
- 職業：教師
- 畢業院校：蘭州大學
- 信仰：共產主義
人物履歷,任免信息,主要成就,社會兼職,研究方向,主持項目情況,所得榮譽,
人物履歷
1984.09-1988.07 蘭州大學計算機系
1988.09-1991.09 蘭州大學計算機系 碩士
1991.09－1994.07 中科院系統科學研究所，理學博士
1994.08－1996.07北京大學數學學院信息科學系，博士後
1996.07－1996.12 北京大學數學學院信息科學系，副教授
1997.01－1998.01 美國Texas A&M大學電子工程系，研究助理
1998.01－1999.12 德國Max-Planck計算機科學研究所，研究員
2000.01－2005.12 德國Mannheim大學計算機科學系，科學雇員/客座教授
2001.04－2006.07 中科院成都計算機套用研究所，研究員/博士生導師
2006.07－2007.07電子科技大學，教授/博士生導師
2007.07—2009.09北京交通大學，教授/博士生導師
2009.09—2017.11 廣西民族大學副校長
2017年12月，廣西大學副校長。
任免信息
2017年11月，免去吳盡昭同志的廣西民族大學副校長職務。
2017年12月，吳盡昭同志任廣西大學副校長；
主要成就
長期從事高效能高可信計算與推理理論與工具的研究和開發，研究領域涉及符號計算、自動推理、形式化方法及其交叉、融合與套用；在國內外學術刊物和國際會議論文集上發表研究論文107篇，出版專著3部，獲得軟體著作權6項，申請專利3項；近年來承擔國家自然科學基金、863、973子課題等國家、省部級科研項目10餘項。
社會兼職
北京交通大學、中科院成都計算所博士生導師；教育部高校教學指導委員會計算機科學與技術分委會委員、中國數學會計算機代數專業委員會委員、四川省專家評議委員會委員、廣西計算機學會副理事長、廣西政協理論研究會常務理事、國家自然科學獎勵評審專家、科技部863及國際合作項目評審專家、教育部留學歸國人員科研基金評審專家
研究方向
計算機軟體與理論
主持項目情況
（1） 具有數量指標約束的並發系統的動作細化理論（中科院“百人計畫”，2001-2004年，主持）
（2） 混合性能模擬的層次化：理論與套用（國家自然科學基金，2004-2006年，主持）
（3） 混合併發模型的動作細化（德國DFG，2002-2004年，聯合主持）
（4） 定理機器證明與自動推理平台（973，2003-2004年，子課題承擔人）
（5） 偏序時序邏輯及其模型檢測（德國DFG，2004-2005年，聯合主持）
（6） 軟體開發與形式化方法（四川省外專局國際合作項目，2004-2005年，主持）
（7） 積體電路形式驗證技術及其軟體平台“巨微”系統的研發（國家科技部中小企業創新基金，2005-2006年，主持）
（8） 積體電路形式驗證平台開發（中科院西部之光聯合學者，2005-2006年，主研）
（9） 吳方法算法晶片的研發以及基於吳方法的形式化驗證技術（973，2005-2009年，子課題承擔人）
（10） 積體電路形式驗證技術及其平台開發（成都市重大科技項目， 2005-2006年，主持）
（11） IC驗證技術與平台（四川省科技攻關項目，2006-2007年，主持）
（12） 需求形式化驗證與評價（973，2007-2010年，子課題承擔人）
（13） 基於代數符號計算的新型軟體形式化驗證技術和支持工具（863，2008-2009年，主持）
（14） “中科巨微”國產化積體電路設計驗證產業化（四川省發改委，2008-2009年，主持）
（15） 積體電路驗證技術及平台（成都市科技局， 2008-2009年，主持）
所得榮譽
（1）德國“馬普學會獎學金”（1997年）
（2）中國科學院“百人計畫（國外引入傑出人才）”入選者(2000年)
（3）國家首批“百千萬人才工程國家級人選”(2004年)
（4）四川省學術和技術帶頭人(2005年)
（5）國務院政府特殊津貼（2006年）
