來源：華東師範大學新聞網 發布時間：2017-10-30
快節奏的語速，敏捷的思維，作為華東師大首批終身教授、軟件學院院長，外人可能想不到，何積豐已70歲開外，卻按照 “70後”的節奏在工作——“5+2”、“白+黑”……“其實，現在中國人幾乎都是這麼幹的。”何積豐從容地笑笑。
“我這個人算不上聰明，惟一的訣竅就是每天都不脫離專業工作，雙休日都不例外。正如我的名字，隻有經過長期的‘積’累，才能期盼‘豐’收的喜悅。” 好(hao)在(zai)，這(zhe)個(ge)辦(ban)公(gong)室(shi)是(shi)放(fang)得(de)下(xia)一(yi)張(zhang)安(an)靜(jing)書(shu)桌(zhuo)的(de)地(di)方(fang)，他(ta)掛(gua)起(qi)固(gu)定(ding)電(dian)話(hua)，關(guan)掉(diao)手(shou)機(ji)，給(gei)自(zi)己(ji)創(chuang)造(zao)一(yi)個(ge)冷(leng)冷(leng)清(qing)清(qing)的(de)思(si)考(kao)環(huan)境(jing)。用(yong)同(tong)事(shi)們(men)的(de)話(hua)說(shuo)，何(he)積(ji)豐(feng)每(mei)天(tian)都(dou)不(bu)脫(tuo)離(li)專(zhuan)業(ye)。即(ji)使(shi)到(dao)了(le)午(wu)飯(fan)時(shi)分(fen)，他(ta)也(ye)停(ting)不(bu)下(xia)手(shou)頭(tou)的(de)活(huo)兒(er)，喜(xi)歡(huan)請(qing)人(ren)去(qu)食(shi)堂(tang)代(dai)購(gou)饅(man)頭(tou)，而(er)且(qie)隻(zhi)要(yao)一(yi)個(ge)雜(za)糧(liang)饅(man)頭(tou)，就(jiu)管(guan)飽(bao)了(le)。他(ta)出(chu)差(cha)隻(zhi)能(neng)安(an)排(pai)在(zai)雙(shuang)休(xiu)日(ri)，“工作日的時間‘用不起’啊”。
潛心研製國產計算機
1965年，何積豐從複旦大學畢業後被分配到華東師範大學工作，從事教學、科研和管理工作，當時的他對“計算機”、“軟件”這些名詞還聞所未聞。之所以人生軌跡後來發生了巨大轉折，和1972年時上海市的一次行政決策有關，當時市裏要求複旦大學、華(hua)東(dong)師(shi)範(fan)大(da)學(xue)研(yan)製(zhi)國(guo)產(chan)計(ji)算(suan)機(ji)。華(hua)東(dong)師(shi)大(da)發(fa)動(dong)校(xiao)內(nei)力(li)量(liang)，從(cong)數(shu)學(xue)係(xi)和(he)物(wu)理(li)係(xi)抽(chou)調(tiao)了(le)十(shi)五(wu)六(liu)名(ming)教(jiao)師(shi)精(jing)英(ying)，研(yan)發(fa)這(zhe)個(ge)中(zhong)國(guo)高(gao)校(xiao)此(ci)前(qian)從(cong)未(wei)自(zi)主(zhu)製(zhi)造(zao)過(guo)的(de)新(xin)生(sheng)事(shi)物(wu)。已(yi)是(shi)講(jiang)師(shi)的(de)何(he)積(ji)豐(feng)也(ye)位(wei)列(lie)其(qi)中(zhong)，負(fu)責(ze)計(ji)算(suan)機(ji)的(de)運(yun)算(suan)控(kong)製(zhi)部(bu)分(fen)。雖(sui)然(ran)此(ci)前(qian)從(cong)未(wei)見(jian)過(guo)“活物”，但憑著熱情和努力，在查閱文獻資料之後，研發小組逐漸摸索到了製造計算機的門路。
兩年多之後，這台計算機終於在麗娃河畔誕生。“和現在的計算機相比就是個龐然大物，體積相當於兩個半家庭書櫃大小！不過運算能力連現在普通筆記本電腦的十分之一都比不過。”何積豐笑著告訴記者，雖然這台計算機出自臨時拚湊的“草台班子”，但在技術水平上和當時歐美的計算機相比差距並不很大，幾年之後，華東師大再次製造了一台計算機，並送到國外參展。
正是從那時起，何積豐對計算機、軟件產生了濃厚的興趣，此後的工作也與此結緣。1980年，他到美國斯坦福大學、舊金山大學做計算機專業的訪問學者；1983年至1998年，在英國牛津大學計算機實驗室任高級研究員，1998年起任聯合國大學國際軟件技術研究所高級研究員。2002年至今，他任華東師範大學軟件學院院長。
著眼於國內軟件行業與發達國家之間的差距，學科發展、社(she)會(hui)需(xu)求(qiu)與(yu)高(gao)校(xiao)教(jiao)學(xue)之(zhi)間(jian)的(de)間(jian)隙(xi)，以(yi)及(ji)上(shang)海(hai)市(shi)乃(nai)至(zhi)全(quan)國(guo)對(dui)軟(ruan)件(jian)行(xing)業(ye)專(zhuan)門(men)人(ren)才(cai)的(de)巨(ju)大(da)需(xu)求(qiu)，何(he)積(ji)豐(feng)率(lv)先(xian)提(ti)出(chu)了(le)軟(ruan)件(jian)人(ren)才(cai)的(de)協(xie)同(tong)創(chuang)新(xin)培(pei)養(yang)模(mo)式(shi)，先(xian)後(hou)與(yu)國(guo)內(nei)外(wai)高(gao)校(xiao)及(ji)中(zhong)國(guo)電(dian)科(ke)集(ji)團(tuan)第(di)32所、Intel等企事業單位成立了多個合作研究實驗室，並與微軟等名企合作共建了10餘門課程，努力以多元協作的方式，彙聚各行的優秀資源，全麵培養軟件行業人才的綜合創新能力。
軟件模型的先驅者
何積豐潛心計算機軟件理論及應用研究，數十年如一日。他與英國計算機科學家、圖靈獎獲得者托尼﹒霍爾一起創造性地提出了軟件領域的程序統一理論（UTP），並由此開創了程序統一理論的國際學派；他建立了數據精化的完備理論，並被國際上譽為“麵向模型軟件開發的一個裏程碑”；他係統性地構建了基於模型的可信軟件設計方法與開發技術,並被稱讚為在軟件工程的科學理論與工業實踐方麵“做了奠基性的工作”。英國科學技術委員會在1998年度報告中讚譽“在過去十五年，何積豐是牛津大學程序研究領域取得成功的驅動力。”
何積豐關注國家與社會的發展需求，並積極有效地推動產學研融合。自2007年起，他擔任國家自然科學基金委“可信軟件基礎研究”重(zhong)大(da)研(yan)究(jiu)計(ji)劃(hua)的(de)首(shou)席(xi)科(ke)學(xue)家(jia)，為(wei)可(ke)信(xin)軟(ruan)件(jian)技(ji)術(shu)在(zai)國(guo)內(nei)的(de)普(pu)及(ji)與(yu)應(ying)用(yong)做(zuo)出(chu)了(le)傑(jie)出(chu)貢(gong)獻(xian)。他(ta)在(zai)國(guo)內(nei)首(shou)倡(chang)與(yu)推(tui)動(dong)的(de)新(xin)興(xing)交(jiao)叉(cha)學(xue)科(ke)信(xin)息(xi)物(wu)理(li)融(rong)合(he)係(xi)統(tong)的(de)研(yan)究(jiu)，奠(dian)定(ding)了(le)可(ke)信(xin)體(ti)係(xi)架(jia)構(gou)的(de)基(ji)礎(chu)。結(jie)合(he)工(gong)業(ye)的(de)實(shi)際(ji)需(xu)求(qiu)，他(ta)解(jie)決(jue)了(le)可(ke)信(xin)嵌(qian)入(ru)式(shi)係(xi)統(tong)構(gou)造(zao)與(yu)驗(yan)證(zheng)技(ji)術(shu)的(de)若(ruo)幹(gan)關(guan)鍵(jian)問(wen)題(ti)，促(cu)進(jin)了(le)相(xiang)關(guan)理(li)論(lun)及(ji)技(ji)術(shu)在(zai)我(wo)國(guo)安(an)全(quan)攸(you)關(guan)行(xing)業(ye)領(ling)域(yu)的(de)應(ying)用(yong)。
用英國皇家學會院士JohnMc Dermid的話來說，“何積豐在軟件工程的科學理論與工業實踐方麵做了奠基性的工作”。圖靈獎獲得者、計算機領域先驅Edsger Dijkstra則對他更為讚賞：“何積豐等人的工作是關係演算理論的主要貢獻者（majorcredit）”。
教書育人是第一位的
作為程序統一理論的創立者、數據精化完備理論的奠基者、可(ke)信(xin)軟(ruan)件(jian)設(she)計(ji)方(fang)法(fa)與(yu)技(ji)術(shu)的(de)開(kai)拓(tuo)者(zhe)，他(ta)的(de)一(yi)係(xi)列(lie)研(yan)究(jiu)成(cheng)果(guo)在(zai)國(guo)際(ji)計(ji)算(suan)機(ji)科(ke)學(xue)領(ling)域(yu)產(chan)生(sheng)了(le)重(zhong)要(yao)的(de)影(ying)響(xiang)。作(zuo)為(wei)一(yi)名(ming)黨(dang)員(yuan)教(jiao)師(shi)，何(he)積(ji)豐(feng)更(geng)始(shi)終(zhong)以(yi)黨(dang)員(yuan)教(jiao)師(shi)的(de)標(biao)準(zhun)嚴(yan)格(ge)要(yao)求(qiu)自(zi)己(ji)，對(dui)學(xue)生(sheng)和(he)青(qing)年(nian)教(jiao)師(shi)如(ru)同(tong)己(ji)出(chu)、諄諄教導。
對(dui)於(yu)計(ji)算(suan)機(ji)科(ke)學(xue)，他(ta)進(jin)行(xing)了(le)長(chang)達(da)數(shu)十(shi)年(nian)的(de)研(yan)究(jiu)，對(dui)計(ji)算(suan)機(ji)係(xi)統(tong)的(de)優(you)缺(que)點(dian)有(you)著(zhe)深(shen)入(ru)的(de)了(le)解(jie)，並(bing)為(wei)全(quan)校(xiao)本(ben)科(ke)生(sheng)開(kai)設(she)了(le)第(di)一(yi)門(men)由(you)院(yuan)士(shi)主(zhu)講(jiang)的(de)通(tong)識(shi)教(jiao)育(yu)課(ke)程(cheng)——計算機文化。在每一次“計算機文化”課堂上，教室裏總是座無虛席，還時常擠滿了其它專業前來旁聽的學生。他梳理了自己多年的科研成果，為研究生開設了《程序統一理論》課程,成為最受學生歡迎的課程之一。所謂“授人以魚不如授人以漁”，在對研究生進行學術指點、論文指導的過程中，他一直注重最新學術思想的傳授和科學思考方式的引導。