廣西民族大學校友網歡迎您

            校友心語
            位置: 首頁 > 校友心語 > 恩師風范 > 正文
            恩師風范

            把尖端科技“移植”八桂學府

            李國君 發表于 2016-04-15 點擊:[]


            ——記廣西民族大學副校長吳盡昭教授

            從吉林扶余到甘肅蘭州、從首都北京到廣西南寧,他劃了一道弧,圈起了自己從學生變身教師的夢想;他從數學和計算機研究領域取得豐碩成果的學者,轉變成致力于推動大學學科建設和科研水平快速發展的校領導。




            他,就是中科院 百人計劃 入選者、 新世紀百千萬人才工程 國家級人選、享受國務院政府特殊津貼專家、自治區優秀專家、廣西民族大學副校長吳盡昭教授。

            “用數學這把鑰匙打開科學的大門”

            通往科學殿堂的道路沒有捷徑,學術的積累均源于汗水和毅力。

            出生于東北小城——吉林省扶余市的吳盡昭天資聰穎,少年時便在各種數學競賽中屢獲大獎。

            1984年,吳盡昭考入蘭州大學數學系,本碩連讀,他立下誓言:用數學這把鑰匙打開科學的大門。”1991年取得碩士學位后,吳盡昭考取中科院系 統科學研究所基礎數學專業,師從我國著名數學家、數學機械化的創始人、首屆國家最高科學技術獎獲得者吳文俊院士。1994年獲得博士學位后,吳盡昭進入北 京大學開展博士后研究,合作導師是著名數學家程民德院士,主要研究符號計算與自動推理。

            1996年,博士后出站后,步入而立之年的吳盡昭成為北京大學數學科學學院信息科學系副教授。做學術就不能坐井觀天。為了進一步拓寬學術視野、 追求科研突破,1997年,吳盡昭在美國Texas A&M大學電子工程系擔任副研究員,19982005年先后就職于德國Max-Planck計算機科學研究所和Mannheim大學計算機科學 系,任研究員。

            回憶那段求學之路,吳盡昭說:當年我們都堅信要取得一定的成績,就必須辛苦付出。在美、德計算機科研機構、大學長達9年的科學研究,他為通曉德語文獻原著刻苦學習德語,為驗證一個方程反復與同行專家討論。長年扎實的科研工作使吳盡昭建立了自動推理、邏輯程序設計和并發系統設計與分析的代數符號化理論,開辟了自動推理、邏輯程序設計和復雜并發系統設計與分析的新途徑以及代數符號計算新的應用領域。他在《中國科學》、《Acta Informatica》、《ISSAC》、《ICFEM》等國內外重要學術刊物和國際學術會議論文集上發表研究論文180余篇,其中SCI、EI收錄 110余篇,出版學術專著3部,獲得軟件著作權10項,申請專利3項。

            在學習研究國外先進科技成果的基礎上,吳盡昭首次系統地提出處理計算機邏輯程序語義的代數方法論;在曼海姆大學工作期間,與一名德國教授合作率先建立混合并發系統的加細理論,實現了性能驗證和評價的組合層次化,引起國內外同行的關注。1997年,他獲得德國馬普基金。

            百人計劃啟動,我國擬引進一批海外高科技人才,2001年,吳盡昭成為中國科學院百人計劃(國外引入杰出人才)入選者,2004年成為首批新世紀百千萬人才工程國家級人選。祖國的需要,就是我的方向。吳盡昭帶著報效祖國的雄心壯志,說服家人,舉家回國。

            海外科研的歷練,奠定了吳盡昭從事數學與計算機應用研究的堅實基礎。近年來,他承擔國家自然科學基金、“973”、“863”等國家、省部級科研項目20余項,2006年獲國務院政府特殊津貼,2010年吳盡昭入選廣西優秀專家。

            “掌握核心技術才能不受制于人”

            在國際上備受贊譽的吳方法,是吳盡昭的導師吳文俊院士創立的機械化數學理論,導師的創舉,讓吳盡昭深深領悟到:只有掌握核心技術,才能不受制于人。

            2005年,吳盡昭放棄國外優越的待遇和舒適的生活環境,回國致力于拓展運用吳方法。首先將目光投向集成電路設計的核心技術——驗證技術的研究及其系列軟件平臺系統研發。驗證技術之所以是集成電路設計的核心技術,是因為完成集成電路的設計之后,還要進行設計的正確性檢驗,然后才能加工制造,這種正確性的檢驗過程稱為驗證。而在當時,我國測試驗證評價技術已經遠遠落后于設計能力,驗證技術成為制約集成電路產業發展的瓶頸,只有突破集成電路芯片產業在中國的現狀,才能真正建立中國的集成電路芯片產業。

            吳盡昭深入分析當時中國集成電路產業普遍存在的缺芯少魂狀況,以芯片設計作為突破口,以形式化方法為核心,以傳統的模擬技術為支持,以兩種方法 技術的結合為橋梁,開始探索建立擁有自主知識產權的、能滿足當今和未來集成電路發展需要的統一驗證技術與平臺,他成功研發巨微

            通用芯片測試評價系統,可以驗證評價較大范圍內的各種電路,為業界提供快速、高效、可靠的測試驗證與評價服務。

            2008年開始,吳盡昭開始探索數理邏輯和軟件方法如何運用于軌道高速列車運行控制軟件系統設計與驗證分析。吳盡昭認為,形式化方法是復雜控制系統設計分析和驗證的有效手段,是列車運行控制系統設計與分析的必要途徑。多年來,吳盡昭在形式化方法和邏輯程序設計方面的科研成果具有國際水平,他主持的數項國家自然科學基金項目復雜并發系統驗證和評估分析的代數符號化理論與方法、微分半代數程序模型的等價及等價譜系等,國家高技術研究發展計劃(863計劃) 項目基于代數符號計算的新型軟件形式化驗證技術和支持工具以及嵌入式軟件驗證與評估若干關鍵問題研究、現代城市與城際軌道交通運營形式化控制與分析關鍵技術等多項省部級項目,成為高鐵列車運行高速、高密、高安全要求的必不可少的關鍵技術。

            “能為西部地區發展貢獻一份力量,是一種幸運”

            一個人的價值,應該看他貢獻什么,而不是取得什么。這是吳盡昭的心聲。

            200910月,作為廣西引進的專家人才,吳盡昭離開妻兒和京城,帶著投身八桂科技和教育事業的決心,來到壯鄉,擔任廣西民族大學副校長。我跟廣西很有緣,此前兩次訪學,感覺廣西山清水秀,壯鄉人民淳樸善良,給我留下了美好的印象。吳盡昭說,來到科技力量相對薄弱的民族地區工作并不容易,但他看到廣西對科技發展的重視,看到北部灣的風生水起,他激情倍增,他說:能為西部地區發展貢獻一份力量,是一種幸運!

            從國內重點大學到西南邊疆少數民族地區的普通高校,從擁有軌道交通控制與安全國家重點實驗室的北京交通大學到理工科專業相對較弱的廣西民族大學,從單純的科研工作者到分管高校學科建設和科研的副校長,吳盡昭面臨人生一個重大轉折,他義無反顧:在經濟欠發達的西部地區創新科研成果不太容易,但我愿意發揮自身特長,為西部高校的學科建設、人才培養、平臺構建做一些工作。

            來到相思湖畔,吳盡昭全心投入建設高水平民族大學的目標,他認為,學科建設是高校發展的核心,科研是學科建設的重中之重。

            高質量的科研成果離不開高水平的科研團隊,高水準的科研平臺成為高質量科研成果的孵化器。到任后,吳盡昭整合專家力量,聚焦研究方向,建設了6個科 研團隊及平臺:廣西混雜計算與集成電路設計分析重點實驗室、中科院成都計算所博士后流動站廣西民族大學基地、廣西混雜計算與集成電路設計分析八桂學者崗位、廣西自然科學基金創新研究團隊、廣西船聯網技術協同創新中心和廣西形式化方法八桂學者崗位。吳盡昭力促引進一批年富力強的專家學者,并努力為中青年科研人員搭建良好研究平臺。作為這些科研團隊的領導核心,吳盡昭在其中起著頂梁柱主心骨的作用,一方面他準確把握學科發展方向,用自身的學 術影響力帶動團隊開展科研,著重從應用基礎、高新技術和工程應用3個層面展開創新研究,取得了一系列國際先進、國內領先的研究成果,服務于廣西地方經濟社會發展。另一方面他科學設置目標,營造寬松的科研環境,將團隊成員個人智慧整合為群體的智力資源,使每位成員既充分有效地為團隊發展做貢獻,又獲得自我發展的空間。

            在吳盡昭的推動下,科研平臺建立起完善的人才培養機制和科研管理制度。比如廣西船聯網技術協同創新中心由3所高校和2家企業組建而成,以船聯網的技 術研發為核心,進行語言信息處理技術、實時動態預警和安全預測等船聯網技術研究,其組織管理就是由個體、封閉、分割方式走向流動、開放、協調,從而實現創 新要素由孤立分散的狀態變為匯聚、融合。

            吳盡昭還致力于促進學校學科的均衡發展,積極爭取與國內外一流高校、科研機構交流的機會。2010年美國電氣和電子工程師協會計算機與計算智能國際 會議在南寧召開,此次會議由廣西民族大學承辦,對廣西的計算機科學發展意義重大。此外,吳盡昭促成多位院士及國內外知名學者到廣西民族大學舉辦專題講座,為師生講授科技前沿和學術動態。

            近年來,吳盡昭對科研服務社會有了更深的思考,他在兼任廣西民族大學東盟學院院長時努力激發該院科研團隊的創新意識,充分發揮東盟學院智庫、研究和人才培養方面的功能,主動服務一帶一路國家戰略。

            作為一名科研人員,我覺得,客觀理性的態度、不畏艱難的精神、百折不回的毅力、腳踏實地的作風是學者必備的品質,作為一名教師,我也引導學生們朝 著這個方向前行。吳盡昭為了幫助學生提高理論水平和實踐操作能力,他每周開展一次學術討論課,每位研究生要根據選題發言,以此提升學生的學術敏感度。他還經常修改博士生、碩士生的論文,一個英文語法錯誤、一個標點符號都修正到位。至今,吳盡昭已培養畢業博士生22人,目前指導在讀博士生15人、博士后2 人。

            時光如白駒過隙,轉眼已屆知天命之年,但吳盡昭依然保持著充沛的工作激情,在實踐中尋求治學與治校、專家與管理者兩種崗位的良性互動。

            在攀登科學高峰的路上,只有勇者和智者才能享受到喜悅和幸福。

            (原載《人事天地》201512月號,作者:李國君)

            上一條:學歷史,就是究天人之際,通古今之變 下一條:覃秀紅:堅持逐夢 臻于完美

            關閉


            版權所有:廣西民族大學 校址:中國廣西南寧市大學東路188號 郵編:530006 Email:webmaster@gxun.cn
            備案號:桂ICP備05000943號 南警備 4501200086 號 前置審核編號:桂JS200601-04

            小仙女自慰呻吟流白浆