他的名字讓人聯(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,何院士都會準(zhǔn)時(shí)來到他位于華東師大中北校區(qū)的研究室,一直工作到晚上6 點(diǎn)左右回家。大樓的門衛(wèi)對這位院士印象很深,因?yàn)殡p休日他也經(jīng)常來學(xué)校。即使大過年的,他也會打車來學(xué)校。 何院士身兼上海市科協(xié)副主席等多個(gè)職務(wù),曾獲國家級有突出貢獻(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)域。
在他看來,只有長期的“積”累,才能獲得“豐”收的喜悅,正如他的名字一何積豐。
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 名,并且為社會培養(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)該一起奮斗。”
積極探索和首創(chuàng)精神
華東師大計(jì)算機(jī)科學(xué)與軟件工程學(xué)院創(chuàng)造的“奇跡”,詮釋著這個(gè)團(tuán)隊(duì)在學(xué)術(shù)共同體建設(shè)方面的積極探索和首創(chuàng)精神。在人才隊(duì)伍建設(shè)上,學(xué)院雙管齊下,堅(jiān)持既要把“大咖”請進(jìn)來,也要全力培養(yǎng)團(tuán)隊(duì)的青年教師。除了將青年教師送出國培養(yǎng),何積豐還利用教學(xué)研討、項(xiàng)目討論等形式指導(dǎo)青年教師的教學(xué)和科研。每當(dāng)有青年教師入職,何積豐都會和他們溝通交流、一起制定發(fā)展規(guī)劃。他還向?qū)W校提出了人才計(jì)劃體制改革的設(shè)想,制訂學(xué)院高級專業(yè)技術(shù)職務(wù)評聘方案和激勵(lì)方案,為青年教師設(shè)立專門的幫扶基金,努力創(chuàng)造寬松、和諧的工作環(huán)境。
除了科研攻關(guān)、開拓創(chuàng)新,何積豐在長達(dá)半個(gè)世紀(jì)的教學(xué)生涯中,始終“以學(xué)生為中心”,強(qiáng)調(diào)教學(xué)與科研相長、科研反哺教學(xué)。他為全校本科生開設(shè)了第一門由院士獨(dú)立主講的通識教育課程 “計(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)師制,讓大批高水平的研究人員對學(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é)生屢獲佳績,每年成功完成近200 多項(xiàng)創(chuàng)新項(xiàng)目。
心靈的“拐杖”
無論是對待事業(yè)還是家庭,在何積豐的身上,都體現(xiàn)出同一種有始有終、堅(jiān)貞如一的執(zhí)著。2005 年12 月,何積豐當(dāng)選為中國科學(xué)院院士,他和失明妻子的愛情故事經(jīng)媒體報(bào)道被眾人知曉。他妻子已失明35 年。回顧長久的陪伴,妻子說,他是她的眼睛,更是她心靈的“拐杖”。
在科學(xué)和人生的道路上,何積豐的“執(zhí)著”“可信”激勵(lì)并溫暖著后來者——他做出的非凡成績,他執(zhí)著的愛和勇氣。其實(shí),他不僅僅是他妻子心靈的“拐杖”,還是全體師生、全體黨員的“拐杖”。