? |
“我1983年入黨,想法很簡單:做共產(chǎn)黨員就應(yīng)該為國家富強多做貢獻。”面對記者提問,沒有一絲遲疑,何積豐(見圖,資料照片)這樣回答。
何積豐的名字,連著一長串頭銜和榮譽:著名計算機軟件科學(xué)家,國家可信嵌入式軟件工程技術(shù)研究中心首席科學(xué)家,中國科學(xué)院院士,華東師范大學(xué)終身教授;國家自然科學(xué)獎、省部級科研成果獎、英國女王先進技術(shù)獎、法國國家棕櫚教育騎士勛章等眾多獎勵獲得者;上海市教書育人楷模、高校教學(xué)名師……他從來沒有忘記的是,自己是一名共產(chǎn)黨員。
只要沒有出差,每天早上8:30,年過70的何積豐都會準(zhǔn)時出現(xiàn)在他位于華東師大中北校區(qū)的研究室,一直工作到晚上6點左右?!拔疫@個人算不上聰明,惟一的訣竅就是每天都不脫離專業(yè)工作?!焙畏e豐說。
1965年畢業(yè)于復(fù)旦大學(xué)數(shù)學(xué)系的何積豐,是我國最早從事計算機科學(xué)教學(xué)和研究的人員之一。1972年,他就和同事們一起,參與了上海市第一代國產(chǎn)計算機的研制。上世紀(jì)80年代,國門初開,他被派赴國外進修,也是在牛津大學(xué)期間,他正式成為共產(chǎn)黨員。
“中國的計算機學(xué)科太落后了,我們有責(zé)任把它帶到國際前沿。這是國家送我們出去學(xué)習(xí)時的期待。”
何積豐與英國計算機科學(xué)家、圖靈獎獲得者托尼·霍爾一起創(chuàng)造性地提出了軟件領(lǐng)域的程序統(tǒng)一理論,開創(chuàng)了程序統(tǒng)一理論的國際學(xué)派,奠定了軟件語義元理論基礎(chǔ);他建立了數(shù)據(jù)精化的完備理論,被國際計算機科學(xué)界譽為“面向模型軟件開發(fā)的一個里程碑”;他系統(tǒng)性地構(gòu)建了基于模型的可信軟件設(shè)計方法與開發(fā)技術(shù),被稱贊為在軟件工程的科學(xué)理論與工業(yè)實踐方面“做了奠基性的工作”。
回國后,他更多關(guān)注國家與社會的發(fā)展需求,積極推動產(chǎn)學(xué)研融合。為國產(chǎn)汽車電子操作系統(tǒng)進行驗證,使之通過歐洲認(rèn)證并出口;為航天領(lǐng)域研發(fā)嵌入式系統(tǒng)需求分析技術(shù),應(yīng)用于重要型號的軟件開發(fā)過程;領(lǐng)銜研發(fā)數(shù)字互動教室系統(tǒng),推動學(xué)生教材形式與教學(xué)方法的重大革新……
“科研人員的中國夢,就是讓中國在專業(yè)領(lǐng)域站上國際前沿。不要大聲喊口號,只要每年進步一小點?!焙畏e豐這樣自律,也這樣告訴年輕人。
2001年,時任華東師范大學(xué)領(lǐng)導(dǎo)找到正在國外任職的何積豐,希望他牽頭組建軟件學(xué)院。他接受了任命。把最初5個人的團隊辦成國家首批示范性軟件學(xué)院、我國高校計算機軟件工程領(lǐng)域名副其實的“領(lǐng)軍團隊”,他僅用了十來年。
“以學(xué)生為中心”,是軟件學(xué)院一成立就有的“院規(guī)”。何積豐率先在學(xué)院實行協(xié)同創(chuàng)新培養(yǎng)模式,與國內(nèi)外高校及中國電科集團第32所、英特爾等成立了多個合作研究實驗室,與微軟等名企共建10余門課程;學(xué)生學(xué)業(yè)評價從單一考試變成考試、研究項目、學(xué)術(shù)論文的綜合評價……
“好文化是生產(chǎn)力?!闭f起這個,一直謙遜平和的何積豐就嘴角掛笑,做好學(xué)院的文化建設(shè),匯聚一支國內(nèi)一流、國際知名的研發(fā)團隊,顯然是他最為重視和自豪的事。
當(dāng)了51年教師,何積豐高度注重青年教師與青年學(xué)子道德品性的塑造,每當(dāng)有青年教師入職,他都會與其溝通交流、一起制定發(fā)展規(guī)劃。他大膽向?qū)W校提出人才計劃體制改革的設(shè)想,為青年教師設(shè)立專門的幫扶基金,創(chuàng)造寬松、良好、和諧的工作環(huán)境。
在他帶領(lǐng)下,華東師范大學(xué)計算機科學(xué)與軟件工程學(xué)院發(fā)展迅速,近三年來,申報的多個國家級和省部級重點研究基地先后獲批;在2012年教育部學(xué)科評估中,學(xué)院的軟件工程學(xué)科榮列全國第四名,并列入上海市一流學(xué)科建設(shè)。
《 人民日報 》( 2016年06月28日 06 版)