吳盡昭

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 廣西民族大學副校長 ^[1] 

2017年12月，廣西大學副校長。 ^[2] 

2022年1月，桂林航天工業學院黨委副書記、院長 ^[6] 

2017年11月，免去吳盡昭同志的廣西民族大學副校長職務。 ^[3] 

2017年12月，吳盡昭同志任廣西大學副校長；

2021年12月，擬任區管正廳級高校正職。 ^[5] 

2022年1月，桂林航天工業學院黨委副書記、院長

2022年1月17日，廣西壯族自治區人民政府經研究決定：免去吳盡昭同志的廣西大學副校長職務；任桂林航天工業學院院長（試用期一年）。 ^[7] 

長期從事高效能高可信計算與推理理論與工具的研究和開發，研究領域涉及符號計算、自動推理、形式化方法及其交叉、融合與應用；在國內外學術刊物和國際會議論文集上發表研究論文107篇，出版專著3部，獲得軟件著作權6項，申請專利3項；近年來承擔國家自然科學基金、863、973子課題等國家、省部級科研項目10餘項。 ^[4] 

北京交通大學、中科院成都計算所博士生導師；教育部高校教學指導委員會計算機科學與技術分委會委員、中國數學會計算機代數專業委員會委員、四川省專家評議委員會委員、廣西計算機學會副理事長、廣西政協理論研究會常務理事、國家自然科學獎勵評審專家、科技部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年）