快節(jié)奏的語速，敏捷的思維，作為華東師大首批終身教授、軟件學(xué)院院長，外人可能想不到，何積豐已70歲開外，卻按照 “70后”的節(jié)奏在工作——“5+2”、“白+黑”……“其實(shí)，現(xiàn)在中國人幾乎都是這么干的。”何積豐從容地笑笑。

“我這個(gè)人算不上聰明，惟一的訣竅就是每天都不脫離專業(yè)工作，雙休日都不例外。正如我的名字，只有經(jīng)過長期的‘積’累，才能期盼‘豐’收的喜悅。” 好在，這個(gè)辦公室是放得下一張安靜書桌的地方，他掛起固定電話，關(guān)掉手機(jī)，給自己創(chuàng)造一個(gè)冷冷清清的思考環(huán)境。用同事們的話說，何積豐每天都不脫離專業(yè)。即使到了午飯時(shí)分，他也停不下手頭的活兒，喜歡請人去食堂代購饅頭，而且只要一個(gè)雜糧饅頭，就管飽了。他出差只能安排在雙休日，“工作日的時(shí)間‘用不起’啊”。

潛心研制國產(chǎn)計(jì)算機(jī)

1965年，何積豐從復(fù)旦大學(xué)畢業(yè)后被分配到華東師范大學(xué)工作，從事教學(xué)、科研和管理工作，當(dāng)時(shí)的他對“計(jì)算機(jī)”、“軟件”這些名詞還聞所未聞。之所以人生軌跡后來發(fā)生了巨大轉(zhuǎn)折，和1972年時(shí)上海市的一次行政決策有關(guān)，當(dāng)時(shí)市里要求復(fù)旦大學(xué)、華東師范大學(xué)研制國產(chǎn)計(jì)算機(jī)。華東師大發(fā)動(dòng)校內(nèi)力量，從數(shù)學(xué)系和物理系抽調(diào)了十五六名教師精英，研發(fā)這個(gè)中國高校此前從未自主制造過的新生事物。已是講師的何積豐也位列其中，負(fù)責(zé)計(jì)算機(jī)的運(yùn)算控制部分。雖然此前從未見過“活物”，但憑著熱情和努力，在查閱文獻(xiàn)資料之后，研發(fā)小組逐漸摸索到了制造計(jì)算機(jī)的門路。

兩年多之后，這臺計(jì)算機(jī)終于在麗娃河畔誕生。“和現(xiàn)在的計(jì)算機(jī)相比就是個(gè)龐然大物，體積相當(dāng)于兩個(gè)半家庭書柜大?。〔贿^運(yùn)算能力連現(xiàn)在普通筆記本電腦的十分之一都比不過。”何積豐笑著告訴記者，雖然這臺計(jì)算機(jī)出自臨時(shí)拼湊的“草臺班子”，但在技術(shù)水平上和當(dāng)時(shí)歐美的計(jì)算機(jī)相比差距并不很大，幾年之后，華東師大再次制造了一臺計(jì)算機(jī)，并送到國外參展。

正是從那時(shí)起，何積豐對計(jì)算機(jī)、軟件產(chǎn)生了濃厚的興趣，此后的工作也與此結(jié)緣。1980年，他到美國斯坦福大學(xué)、舊金山大學(xué)做計(jì)算機(jī)專業(yè)的訪問學(xué)者；1983年至1998年，在英國牛津大學(xué)計(jì)算機(jī)實(shí)驗(yàn)室任高級研究員，1998年起任聯(lián)合國大學(xué)國際軟件技術(shù)研究所高級研究員。2002年至今，他任華東師范大學(xué)軟件學(xué)院院長。

著眼于國內(nèi)軟件行業(yè)與發(fā)達(dá)國家之間的差距，學(xué)科發(fā)展、社會需求與高校教學(xué)之間的間隙，以及上海市乃至全國對軟件行業(yè)專門人才的巨大需求，何積豐率先提出了軟件人才的協(xié)同創(chuàng)新培養(yǎng)模式，先后與國內(nèi)外高校及中國電科集團(tuán)第32所、Intel等企事業(yè)單位成立了多個(gè)合作研究實(shí)驗(yàn)室，并與微軟等名企合作共建了10余門課程，努力以多元協(xié)作的方式，匯聚各行的優(yōu)秀資源，全面培養(yǎng)軟件行業(yè)人才的綜合創(chuàng)新能力。

軟件模型的先驅(qū)者

何積豐潛心計(jì)算機(jī)軟件理論及應(yīng)用研究，數(shù)十年如一日。他與英國計(jì)算機(jī)科學(xué)家、圖靈獎(jiǎng)獲得者托尼﹒霍爾一起創(chuàng)造性地提出了軟件領(lǐng)域的程序統(tǒng)一理論（UTP），并由此開創(chuàng)了程序統(tǒng)一理論的國際學(xué)派；他建立了數(shù)據(jù)精化的完備理論，并被國際上譽(yù)為“面向模型軟件開發(fā)的一個(gè)里程碑”；他系統(tǒng)性地構(gòu)建了基于模型的可信軟件設(shè)計(jì)方法與開發(fā)技術(shù),并被稱贊為在軟件工程的科學(xué)理論與工業(yè)實(shí)踐方面“做了奠基性的工作”。英國科學(xué)技術(shù)委員會在1998年度報(bào)告中贊譽(yù)“在過去十五年，何積豐是牛津大學(xué)程序研究領(lǐng)域取得成功的驅(qū)動(dòng)力。”

何積豐關(guān)注國家與社會的發(fā)展需求，并積極有效地推動(dòng)產(chǎn)學(xué)研融合。自2007年起，他擔(dān)任國家自然科學(xué)基金委“可信軟件基礎(chǔ)研究”重大研究計(jì)劃的首席科學(xué)家，為可信軟件技術(shù)在國內(nèi)的普及與應(yīng)用做出了杰出貢獻(xiàn)。他在國內(nèi)首倡與推動(dòng)的新興交叉學(xué)科信息物理融合系統(tǒng)的研究，奠定了可信體系架構(gòu)的基礎(chǔ)。結(jié)合工業(yè)的實(shí)際需求，他解決了可信嵌入式系統(tǒng)構(gòu)造與驗(yàn)證技術(shù)的若干關(guān)鍵問題，促進(jìn)了相關(guān)理論及技術(shù)在我國安全攸關(guān)行業(yè)領(lǐng)域的應(yīng)用。

用英國皇家學(xué)會院士JohnMc Dermid的話來說，“何積豐在軟件工程的科學(xué)理論與工業(yè)實(shí)踐方面做了奠基性的工作”。圖靈獎(jiǎng)獲得者、計(jì)算機(jī)領(lǐng)域先驅(qū)Edsger Dijkstra則對他更為贊賞：“何積豐等人的工作是關(guān)系演算理論的主要貢獻(xiàn)者（majorcredit）”。

教書育人是第一位的

作為程序統(tǒng)一理論的創(chuàng)立者、數(shù)據(jù)精化完備理論的奠基者、可信軟件設(shè)計(jì)方法與技術(shù)的開拓者，他的一系列研究成果在國際計(jì)算機(jī)科學(xué)領(lǐng)域產(chǎn)生了重要的影響。作為一名黨員教師，何積豐更始終以黨員教師的標(biāo)準(zhǔn)嚴(yán)格要求自己，對學(xué)生和青年教師如同己出、諄諄教導(dǎo)。

對于計(jì)算機(jī)科學(xué)，他進(jìn)行了長達(dá)數(shù)十年的研究，對計(jì)算機(jī)系統(tǒng)的優(yōu)缺點(diǎn)有著深入的了解，并為全校本科生開設(shè)了第一門由院士主講的通識教育課程——計(jì)算機(jī)文化。在每一次“計(jì)算機(jī)文化”課堂上，教室里總是座無虛席，還時(shí)常擠滿了其它專業(yè)前來旁聽的學(xué)生。他梳理了自己多年的科研成果，為研究生開設(shè)了《程序統(tǒng)一理論》課程,成為最受學(xué)生歡迎的課程之一。所謂“授人以魚不如授人以漁”，在對研究生進(jìn)行學(xué)術(shù)指點(diǎn)、論文指導(dǎo)的過程中，他一直注重最新學(xué)術(shù)思想的傳授和科學(xué)思考方式的引導(dǎo)。