吳盡昭

吳盡昭

吳盡昭,男,漢族,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年)

相關詞條

相關搜尋

熱門詞條

聯絡我們