何以“積”“豐”

他的名字讓人聯(lián)想起微積分，巧的是，他正是畢業(yè)于復(fù)旦大學(xué)數(shù)學(xué)系的。但他與軟件更有緣——他開創(chuàng)了軟件理論的國際學(xué)派，他是程序統(tǒng)一理論的創(chuàng)立者，他是數(shù)據(jù)精化完備理論的奠基者，他還是可信軟件設(shè)計(jì)理論與技術(shù)的開拓者。

作為著名計(jì)算機(jī)軟件科學(xué)家，伺積豐是一個(gè)有著33 年黨齡、51年教齡的老黨員和老教師。年過七旬的他，至今仍奮斗在科研、教學(xué)第一線，他執(zhí)著的科學(xué)精神，可信的人格力量，令人欽佩與鼓舞。

他總是說：“我這個(gè)人算不上聰明，唯一的決竅就是每天都不脫離專業(yè)工作。”

每天早上8：30，何院士都會(huì)準(zhǔn)時(shí)來到他位于華東師大中北校區(qū)的研究室，一直工作到晚上6 點(diǎn)左右回家。大樓的門衛(wèi)對(duì)這位院士印象很深，因?yàn)殡p休日他也經(jīng)常來學(xué)校。即使大過年的，他也會(huì)打車來學(xué)校。 何院士身兼上海市科協(xié)副主席等多個(gè)職務(wù)，曾獲國家級(jí)有突出貢獻(xiàn)中青年專家，上海市五一勞動(dòng)獎(jiǎng)?wù)?、?yōu)秀共產(chǎn)黨員、勞動(dòng)模范，國家自然科學(xué)獎(jiǎng)二等獎(jiǎng)、教育部自然科學(xué)獎(jiǎng)一等獎(jiǎng)和上海市科學(xué)技術(shù)進(jìn)步獎(jiǎng)一等獎(jiǎng)等榮譽(yù)，兩次榮獲英國女王先進(jìn)技術(shù)獎(jiǎng)……說他各種榮譽(yù)等身絲毫不為過。

何院士在計(jì)算機(jī)軟件理論與可信計(jì)算領(lǐng)域做出了開拓性的貢獻(xiàn)。2007 年，“可信軟件基礎(chǔ)研究”重大研究計(jì)劃正式立項(xiàng)。何積豐作為首席科學(xué)家投身其中，領(lǐng)銜研發(fā)的可信軟件成果已應(yīng)用于航空、軌道交通等與安全攸關(guān)的領(lǐng)域。

在他看來，只有長(zhǎng)期的“積”累，才能獲得“豐”收的喜悅，正如他的名字一何積豐。

1965 年，何積豐從復(fù)旦大學(xué)畢業(yè)后被分配到華東師范大學(xué)工作。

1972 年參與研制中國高校此前從未自主制造過國產(chǎn)計(jì)算機(jī)。上世紀(jì)80 年代，他被學(xué)校先后派往美國斯坦福大學(xué)、英國牛津大學(xué)進(jìn)修學(xué)習(xí)。

2001年，何積豐受命組建國家首批示范性軟件學(xué)院之一 華東師范大學(xué)軟件學(xué)院。十幾年來，在他的帶領(lǐng)下，軟件學(xué)院由小變大，從成立時(shí)的5 人到目前百余人的規(guī)模；由弱變強(qiáng)，華東師范大學(xué)軟件學(xué)院已成為我國高校計(jì)算機(jī)領(lǐng)域名副其實(shí)的“領(lǐng)軍團(tuán)隊(duì)”之一，列入上海市一流學(xué)科建設(shè)。目前已培養(yǎng)和匯聚了中國科學(xué)院院士2 名，千人計(jì)劃教授3 名，國家杰青3 名，并且為社會(huì)培養(yǎng)軟件工程高層次專業(yè)人才7000 余名。

何積豐闡釋軟件學(xué)院團(tuán)隊(duì)在短短15年里從零發(fā)展為國內(nèi)領(lǐng)先、國際知名團(tuán)隊(duì)的原因，“我們每個(gè)人每天工作8 小時(shí)，就算加班加點(diǎn)。能做的工作都是有限的。但是團(tuán)隊(duì)的力量是無限的。”“放假期間我們這里燈火通明。我們從來沒有規(guī)定誰要加班，這種事情不需要明說。因?yàn)槲覀兊慕處熣J(rèn)同這種文化，大家覺得，應(yīng)該一起奮斗?！?/p>

積極探索和首創(chuàng)精神

華東師大計(jì)算機(jī)科學(xué)與軟件工程學(xué)院創(chuàng)造的“奇跡”，詮釋著這個(gè)團(tuán)隊(duì)在學(xué)術(shù)共同體建設(shè)方面的積極探索和首創(chuàng)精神。在人才隊(duì)伍建設(shè)上，學(xué)院雙管齊下，堅(jiān)持既要把“大咖”請(qǐng)進(jìn)來，也要全力培養(yǎng)團(tuán)隊(duì)的青年教師。除了將青年教師送出國培養(yǎng)，何積豐還利用教學(xué)研討、項(xiàng)目討論等形式指導(dǎo)青年教師的教學(xué)和科研。每當(dāng)有青年教師入職，何積豐都會(huì)和他們溝通交流、一起制定發(fā)展規(guī)劃。他還向?qū)W校提出了人才計(jì)劃體制改革的設(shè)想，制訂學(xué)院高級(jí)專業(yè)技術(shù)職務(wù)評(píng)聘方案和激勵(lì)方案，為青年教師設(shè)立專門的幫扶基金，努力創(chuàng)造寬松、和諧的工作環(huán)境。

除了科研攻關(guān)、開拓創(chuàng)新，何積豐在長(zhǎng)達(dá)半個(gè)世紀(jì)的教學(xué)生涯中，始終“以學(xué)生為中心”，強(qiáng)調(diào)教學(xué)與科研相長(zhǎng)、科研反哺教學(xué)。他為全校本科生開設(shè)了第一門由院士獨(dú)立主講的通識(shí)教育課程 “計(jì)算機(jī)文化”。每次上課，教室里都是座無虛席，還時(shí)常擠滿了其它專業(yè)前來旁聽的學(xué)生；他給研究生上《程序統(tǒng)一理論》課，靈活且極具啟發(fā)式的授課深受學(xué)生歡迎。“國家需要什么樣的人才，我們就應(yīng)該培養(yǎng)什么樣的人才?！边@是何積豐經(jīng)常思考的問題。

“創(chuàng)新實(shí)踐是人才培養(yǎng)的核心和靈魂”。何積豐率先提出并實(shí)踐軟件人才的多元協(xié)同創(chuàng)新培養(yǎng)模式，并且在學(xué)院實(shí)行本科生導(dǎo)師制，讓大批高水平的研究人員對(duì)學(xué)生進(jìn)行個(gè)性化指導(dǎo)；學(xué)院教師“白天進(jìn)教室，晚上進(jìn)實(shí)驗(yàn)室”，建立以學(xué)生自主管理為特點(diǎn)的實(shí)驗(yàn)室，教師實(shí)現(xiàn)核心工作時(shí)間坐班制，提供全方位指導(dǎo)。

正是這種打破傳統(tǒng)的人才培養(yǎng)模式，使學(xué)院學(xué)生屢獲佳績(jī)，每年成功完成近200 多項(xiàng)創(chuàng)新項(xiàng)目。

心靈的“拐杖”

無論是對(duì)待事業(yè)還是家庭，在何積豐的身上，都體現(xiàn)出同一種有始有終、堅(jiān)貞如一的執(zhí)著。2005 年12 月，何積豐當(dāng)選為中國科學(xué)院院士，他和失明妻子的愛情故事經(jīng)媒體報(bào)道被眾人知曉。他妻子已失明35 年。回顧長(zhǎng)久的陪伴，妻子說，他是她的眼睛，更是她心靈的“拐杖”。

在科學(xué)和人生的道路上，何積豐的“執(zhí)著”“可信”激勵(lì)并溫暖著后來者——他做出的非凡成績(jī)，他執(zhí)著的愛和勇氣。其實(shí)，他不僅僅是他妻子心靈的“拐杖”，還是全體師生、全體黨員的“拐杖”。