廣西新聞網(wǎng)記者 姚 琳 實(shí)習(xí)生 向國(guó)澤

他是一位學(xué)養(yǎng)深厚、治學(xué)嚴(yán)謹(jǐn)?shù)膶W(xué)者，在數(shù)學(xué)和計(jì)算機(jī)研究領(lǐng)域取得豐碩成果。 

他是一位勵(lì)精圖治、謀求學(xué)校發(fā)展的領(lǐng)路人，致力于推動(dòng)學(xué)校學(xué)科建設(shè)和科研水平的快速發(fā)展，向建設(shè)高水平民族大學(xué)目標(biāo)堅(jiān)實(shí)邁進(jìn)。

他是一位傾心教學(xué)、關(guān)愛學(xué)子的好老師，把學(xué)者的敏思與嚴(yán)謹(jǐn)滲透到教學(xué)當(dāng)中，辛勤耕耘，育得桃李溢芬芳。

他就是中科院“百人計(jì)劃”入選者、廣西優(yōu)秀專家、廣西民族大學(xué)副校長(zhǎng)吳盡昭教授。

勇攀科研高峰的學(xué)者 

出生于東北的吳盡昭天資聰穎，在各種數(shù)學(xué)競(jìng)賽中屢獲大獎(jiǎng)，展現(xiàn)出過人的才華。

1984年，吳盡昭考入蘭州大學(xué)數(shù)學(xué)系，本碩連讀，畢業(yè)后他考取中科院系統(tǒng)科學(xué)研究所，攻讀博士學(xué)位，師從我國(guó)著名數(shù)學(xué)家、數(shù)學(xué)機(jī)械化的創(chuàng)始人吳文俊院士。經(jīng)過3年的學(xué)習(xí)，他掌握了國(guó)內(nèi)先進(jìn)的計(jì)算機(jī)代數(shù)、定理自動(dòng)證明的精髓。

1994年獲得博士學(xué)位后，吳盡昭進(jìn)入北京大學(xué)進(jìn)行博士后研究，合作導(dǎo)師是著名數(shù)學(xué)家程民德院士，主要研究符號(hào)計(jì)算與自動(dòng)推理。1996年博士后出站，而立之年的他留在北京大學(xué)任教。

“做學(xué)術(shù)不能是井底之蛙！”隨著理論層次的不斷提高，吳盡昭決定出國(guó)學(xué)習(xí)，對(duì)先進(jìn)的形式化方法理論進(jìn)行研究。1997年初，他加入美國(guó)德克薩斯大學(xué)電子工程系，主攻邏輯程序設(shè)計(jì)。翌年，他轉(zhuǎn)到德國(guó)著名的馬普計(jì)算機(jī)科學(xué)研究所擔(dān)任研究員，由于科研成就突出，獲得德國(guó)“馬普基金”。2000年，他加入德國(guó)曼海姆大學(xué)，從事教學(xué)和研究工作。

帶著興國(guó)圖強(qiáng)的理想，吳盡昭十分珍惜在國(guó)外做研究的時(shí)光。為通曉德文文獻(xiàn)原著，他刻苦學(xué)習(xí)德語(yǔ)；為在科研道路上少走彎路，他虛心向知名教授討教，常常為了一個(gè)問題，徹夜不眠，苦苦思索…… 

“中國(guó)的科學(xué)家如此執(zhí)著！”勤奮加悟性，吳盡昭憑借著刻苦鉆研和求實(shí)創(chuàng)新的精神，令國(guó)外同行刮目相看。

在德國(guó)的8年里，吳盡昭碩果累累。在學(xué)習(xí)研究國(guó)外先進(jìn)科技成果的基礎(chǔ)上，吳盡昭首次系統(tǒng)地提出處理計(jì)算機(jī)邏輯程序語(yǔ)義的代數(shù)方法論；在曼海姆大學(xué)工作期間，與一名德國(guó)教授合作率先建立混合并發(fā)系統(tǒng)的加細(xì)理論，實(shí)現(xiàn)了性能驗(yàn)證和評(píng)價(jià)的組合層次化，引起國(guó)內(nèi)外同行的關(guān)注。

1996年，中科院開始啟動(dòng)“百人計(jì)劃”，引進(jìn)一批海外高科技人才。“祖國(guó)需要的就是我的專業(yè)！”在祖國(guó)急需科技支撐人才的關(guān)鍵時(shí)刻，吳盡昭想到了科學(xué)家錢偉長(zhǎng)的名言。帶著報(bào)效祖國(guó)的雄心壯志，2005年底他舉家回國(guó)。  

海外學(xué)術(shù)研究的歷練，奠定了吳盡昭從事數(shù)學(xué)與計(jì)算機(jī)應(yīng)用研究的堅(jiān)實(shí)基礎(chǔ)。近年來(lái)，他參與主持了國(guó)家自然科學(xué)基金、973、863等多項(xiàng)國(guó)家級(jí)項(xiàng)目，碩果累累。