何積豐 - 人物簡介
何積豐，計算機軟件專家。華東師范大學教授。1943年8月生于上海市。1965年畢業(yè)于復旦大學數(shù)學系。1965年起在華東師范大學工作，先后任助教、講師，1986年晉升為教授。1980年至1981年，在美國斯坦福大學、舊金山大學做訪問學者；1983年至1988年在英國牛津大學計算機實驗室任高級研究員，1998年起任聯(lián)合國大學國際軟件技術(shù)研究所高級研究員。2002年至今，任華東師范大學軟件學院院長，2002年成為華東師范大學首批終身教授。2005年當選中國科學院院士。
1980年起，從事程序設計理論及其應用研究。1986年和C.A.R.Hoare提出了"程序分解算子"，并將規(guī)范語言與程序語言看成是同一類數(shù)學對象。接著又提出了采用"關系代數(shù)"作為程序和軟件規(guī)范的統(tǒng)一數(shù)學模型，使得關系代數(shù)可用來描寫程序的分解和組合過程，直接支持軟件的開發(fā)。在數(shù)據(jù)精化方面，給出了處理非確定性程序語言數(shù)據(jù)精化的完備方法。1995年，在總結(jié)了多類程序語言語義理論和方法的基礎上，與C.A.R.Hoare提出了程序設計統(tǒng)一理論和連接各類程序理論的數(shù)學法則。還提出了用形式化的界面理論溝通幾種程序語言，以及非確定性數(shù)據(jù)流的數(shù)學模型及代數(shù)定律。近年來，研究的軟硬件協(xié)同設計系統(tǒng)，為減少系統(tǒng)芯片設計時間和降低成本提供了有益的方法。何積豐在國際上獲得的地位讓同行們仰視：聯(lián)合國大學國際軟件技術(shù)研究所高級研究員，英國牛津大學客座教授，牛津大學計算實驗室高級研究員，兩度獲最高科研獎——英國先進科技女皇獎。他被國際計算機科學界譽為面向模型軟件開發(fā)方法的奠基石。他在安全軟件設計方面的論著被國際軟件界廣泛引用。他率先提出關系程序設計語言，這項工作被歐洲計算機界認為是繼過程語言、函數(shù)程序、邏輯程序之后的第四類程序語言的先驅(qū)，他因而被歐洲軟件界權(quán)威人士贊之為“軟件設計技術(shù)上的一座里程碑”�！ �
他是聯(lián)合國大學國際軟件技術(shù)研究所高級研究員，英國牛津大學客座教授，牛津大學計算實驗室高級研究員，兩度獲最高科研獎――英國先進科技女皇獎。他被國際計算機科學界譽為面向模型軟件開發(fā)方法的奠基人，他的學術(shù)成就被歐洲軟件界權(quán)威人士贊之為軟件設計技術(shù)上的一座里程碑。2005年他又當選為中國科學院院士。
何積豐 - 簡要經(jīng)歷
1960.05~1965.02上海復旦大學數(shù)學系學習
1980.07-~1981.07美國坦福大學、舊金山大學進修
1984.12~1998.07英國牛津大學客座教授、高級研究員
1986.08~華東師范大學教授
1988~國家有突出貢獻中青年專家；
1995.08~華東師范大學博士生導師；
1998.07~聯(lián)合國大學國際軟件技術(shù)研究所高級研究員
1996.08~上海交通大學兼職教授、博士生導師1998.08~南京大學兼職教授、博士生導師
2001.11~華東師范大學軟件學院院長
2002.12~華東師范大學終身教授
2003.05~浙江大學兼職教授、博士生導師
2005年評為中科院院士
何積豐 - 代表論著
自1985年以來，在“設計嚴格安全軟件的完備演算系統(tǒng)”方面的研究成果。主要提供了兩項技術(shù)：（1）建立程序和軟件規(guī)范的演算系統(tǒng)，在軟件開發(fā)周期各個重要階段，均可使用數(shù)學演算來支持建立軟件設計的技術(shù)文檔和驗證任務；（2）設計完整的演算法則用來指導以下開發(fā)任務：①從用戶需求導出軟件系統(tǒng)各部件的規(guī)范說明；②從部件的規(guī)范說明演算出低層軟件模塊過程的功能說明。研究論文發(fā)表在“CommoftheACM”、“FormalAspectofComputing”、“ScienceofComputerProgramming”、“ActaInformation”等國際著名雜志及重要學術(shù)會議上，至2002年，被SCI它引169次。
1.J.He,J.He,C.A.R.Hoare,J.W.Sanders，DataRefinementRefined-Resume，LectureNotesinComputerScience，1986，213:187-196
2.C.A.R.Hoare,HeJifeng,J.W.Sanders，PrespecificationinDataRefinement，InformationprocessingLetters，1987，25:71-76
3.HeJifeng，ProcessSimulationandRefinement，F(xiàn)ormalAspectsofComputing，1989，1:229-241
4.HeJifeng,C.A.R.Hoare，F(xiàn)romAlgebratoOperationalSemantics，Informationprocessingletters，1993，45:75-80
5.HeJifeng，F(xiàn)romCSPtoHybridSystems，AClassicalMind，1994，171-191
6.HeJifeng,C.A.R.Hoare，ProvablyCorrectSystems，LectureNotesofComputerScience，1994，863:288-335
7.HeJifeng，ProvablyCorrectSystems:ModellingofCommunicationLanguagesandDesignofOptimizedCompilers，McGraw-HillPublisher，1994.
8.HeJifeng,K.Seidel,A.McIver，ProbabilisticModelsforTheGuardedCommandLanguage，ScienceofComputerProgramming，1997，28:171-192
9.C.A.R.Hoare,HeJifeng，UnifyingTheoriesofProgramming，PrenticeHallInternational，1998.
10.HeJifeng，ACommonFrameworkforMixedHardware/SoftwareSystems，ProceedingsofIFM’99，1999，1-24.
何積豐 - 獲獎情況
電子工業(yè)部軟件一等獎（1985）上海市科技進步一等獎（1986）
英國先進技術(shù)女皇獎（1989）
英國先進技術(shù)女皇獎（1993）
上海市科技進步一等獎（2000）
國家自然科學二等獎（2002）
何積豐 - 主要成就
1．提出數(shù)據(jù)精化的完備理論針對當時數(shù)據(jù)精化方法上存在不完備以及只能處理確定性程序語言等缺陷，何積豐和合作者在論文“DataRefinementRefined”和“PrespecificationinDataRefinement”中給出了一個處理非確定程序語言數(shù)據(jù)精化的方法，使用“上下仿真映照對”來獲得程序模塊中各過程的函數(shù)說明，給出了完備演算規(guī)則。1989年，他與合作者指出了精化方法與程序代數(shù)定律的直接聯(lián)系，從而可根據(jù)不同的語言選擇相應的精化計算方法。歐洲著名規(guī)范語言B采用了該方法（見J-RAbrial專著《TheBBook》第501頁、第550頁,劍橋大學出版）。劍橋大學理論計算機科學叢書曾指出，這一數(shù)據(jù)精化完備理論是面向模型軟件開發(fā)的一個里程碑。
2．建立程序和軟件規(guī)范的統(tǒng)一數(shù)學模型1986年，他與合作者提出了程序分解算子，并將規(guī)范語言與程序語言看成是同一類數(shù)學對象。1987年，他在“TheWeakestPrespecification”中提出可采用“關系代數(shù)”作為程序和軟件規(guī)范的統(tǒng)一數(shù)學模型，并在此數(shù)學框架中發(fā)現(xiàn)求解規(guī)范方程（X；Q＞S）和（P；X＞S）的演算法則，這樣使得關系代數(shù)可用來描寫程序的分解和組合過程，因而數(shù)學方法可直接用于支持軟件的開發(fā)。在上述工作基礎上，提出了程序的代數(shù)定律理論，給出了程序設計語言的一套完備的代數(shù)定律，這使得程序變換可直接依賴于基本定律的應用來完成。
3．提出編程統(tǒng)一理論和連接各類程序理論的數(shù)學法則1998年，他和C.A.R.Hoare在專著“UnifyingTheoriesofProgramming”中給出了能描述串行語言、并行語言、通信語言、邏輯語言、函數(shù)程序語言的統(tǒng)一數(shù)學模型，證明了三類不同語義（指稱語義、代數(shù)語義和操作語義）的一致性，并提出“LinkingTheory”應用于設計概率程序語言的數(shù)學模型。4．用形式化界面理論溝通幾種程序語言，提出非確定性數(shù)據(jù)流的數(shù)學模型和代數(shù)定律在1989年開始的歐洲尤里卡基礎研究項目PROCOS中，其重要任務就是以形式化的界面理論來溝通幾種程序語言及設計一個可證明的編譯程序和程序變換系統(tǒng)。何積豐在項目中作出了重要貢獻，他的專著《ProvableCorrectSystems:ModellingofCommunicationLanguagesandDesignofOptimizedCompilers》總結(jié)了相關工作。1990年他在論文“AtheoryofSynchronyandAsynchrony”中提出了非確定性數(shù)據(jù)流的數(shù)學模型及代數(shù)定律，這套理論用于支持Jackson開發(fā)方法和異步通信進程設計。
5、研究軟硬件協(xié)同設計系統(tǒng)的數(shù)學模型1992年至今一直從事基于工業(yè)設計語言VERILOG的軟硬件協(xié)同設計框架，討論語言的仿真器語義和合成語義的一致性問題，設計具有最優(yōu)配置的軟硬件分解器和合成器的數(shù)學模型�，F(xiàn)已開發(fā)完成“海神”軟硬件協(xié)同設計平臺并應用。
何積豐 - 近期項目
2001-2003，VERILOG仿真器和合成器設計，上海市信息委項目（CX20010005）
2002-2004，UML軟件開發(fā)進程的形式化理論，教育部重點項目(02104)
2003-2005，安全軟件理論與軟硬件協(xié)同設計，“211”項目
2002-2007，網(wǎng)構(gòu)軟件形式化理論與方法研究，973項目（Internet環(huán)境下基于Agent的軟件中間件理論和方法的研究，課題編號：2002CB31200001）
何積豐 - 妻子失明
1980年對于何積豐來說，是值得他銘記一生的年份。這一年他被華東師范大學派到美國舊金山大學進修，這是他多年來的期盼。自從1960年5月，16歲的他免試進入復旦大學數(shù)學系學習以來，他就希望有朝一日能夠到國外深造，去領略國外先進的科學技術(shù)。1965年畢業(yè)后，他被分配到華東師范大學工作，在學校領導的支持下，他成為上海高校中第一批從事計算機科學研究的人員。正當他想大展宏圖之時，十年動亂開始了，他不得不放棄了正常的科研活動。然而，在他的心里，對科研的渴望更加強烈了。
“文革”結(jié)束，百廢待興。華東師范大學的科研隊伍也在重整旗鼓，終于，何積豐以一貫認真的工作態(tài)度，贏得了學校的信任，被派往美國舊金山大學進修，專攻計算機應用。妻子張蕾蕾也為他高興，雖然剛剛生下女兒，但她依然支持丈夫去國外深造，她知道這是丈夫的心愿。
在美國這個科技發(fā)達的國家，何積豐以異常的熱情投入到學習和科研中去。課余時間里，他常常到遠離舊金山的斯坦福大學和另一所名牌大學去旁聽著名教授的講課。每次，都得凌晨起床，步行一小時至長途汽車站。就這樣，何積豐把別人用來給家人帶“大件”的生活補貼都花在了美國的長途汽車票上。斯坦福大學的導師也被這位刻苦求學的來自于中國的年輕人打動了，不久，何積豐被批準進入該校學習。這樣，何積豐開始了每天奔波于兩校之間的求學生涯。
在緊張的學習科研中，每次讀家書是他最快樂的時刻。幾乎每個星期，妻子都會寫一封長長的信，告訴他女兒的每一聲啼哭、每一個微笑和學會的每一句話，以及自己工作生活中的點點滴滴。每個月，妻子都會把女兒最新的體重和身高報告給他，在那一點點變化的數(shù)字里，遠在異國他鄉(xiāng)的他感受到了女兒的成長和妻子對他的綿長的思念。半年以后，一向準時而至的家書，突然中斷了。何積豐著急地寫信回去詢問情況，終于，一個月后，他收到了回信。原來妻子張蕾蕾因騎自行車不小心右手骨折了，所以不能寫信，這封信還是別人代寫的。在信中，張蕾蕾安慰丈夫自己傷勢很輕，不久就能恢復，不要為她擔心。此時在知識的海洋里恣意漫游的何積豐，相信了妻子的話，又重新投入到學習科研中。
只是沒有了家書的日子，讓何積豐覺得有些不適應。每當月圓之際，他都會抬頭仰望那一輪明月，雖然月亮的光芒幾乎被閃爍的霓虹燈淹沒，但在何積豐的心里，月亮是最美最溫柔的，因為那里有妻子和女兒的目光。想必妻子此時也一定在想念著自己，只是調(diào)皮可愛的女兒肯定不能體會媽媽此時的思念。
就在為期一年的學習快要結(jié)束時，何積豐越來越不安起來，他總覺得妻子有什么事情瞞著他，不然都快半年了，一個小小的骨折怎么還沒有恢復呢？終于等到了學成回國的時刻，坐在飛機上，他的心是激動而又惶恐的，激動的是自己終于回到了日夜思念的家，惶恐的是家里是否依舊平安。
何積豐走到了熟悉的家門口，他猶豫著按下了門鈴。家門打開的一剎那，他看見的是衣衫不整而又憔悴的妻子，頭發(fā)枯黃散亂，戴著一副墨鏡，顴骨突起，衣服褶皺不堪，扣子還扣錯了兩粒。這哪里還是那個整潔美麗的妻子？何積豐哽咽著喊了一聲：“蕾蕾！”張蕾蕾顫抖著走到何積豐的身邊，雙手沿著丈夫的頭摸了下來，從眼睛、鼻子、嘴唇到肩膀、手臂再到雙腿、雙腳，淚水從墨鏡下流了出來。她緊緊地抱住丈夫，嘴里呢喃著：“又見著你了……”
何積豐這才發(fā)現(xiàn)妻子的眼睛不對勁：“蕾蕾，你的眼睛怎么了？”
原來，何積豐到美國半年后，張蕾蕾這個不到30歲的中學女教師，在一起意外事故中受傷，一夜之間雙目失明了！她沒有告訴丈夫，因為她知道在國外學習一直是丈夫的夢想，她不想把丈夫從為理想而奮斗的快樂中拉回來，于是她編織了那個右手骨折的謊言。其實，在失明的這半年里，張蕾蕾曾無數(shù)次地想到了死，可每每想到丈夫，想到女兒，她又放棄了，她想不管以后如何，總要再見一面丈夫再說。于是，張蕾蕾在黑暗中等待著丈夫的回來。
何積豐 - 照顧妻子
何積豐的心碎了，他沒想到自己不在的時候，妻子遭遇了如此的痛苦。為了讓自己安心在美國學習，妻子竟隱瞞了事實，獨自承受著這巨大的打擊。何積豐又心痛又后悔，為妻子的眼睛而心痛，為自己輕信妻子的謊言而后悔！在妻子最艱難、最黑暗的時候，他本應該陪在妻子身邊和她一起承受，可是自己卻遠在異國他鄉(xiāng)，而且對此一無所知！平靜下來之后，何積豐決定帶妻子看最好的醫(yī)生，讓她重見光明，同時還要給妻子更多的愛，撫平她心上的傷痕。
接下來的日子里，何積豐一邊求醫(yī)問藥，一邊安慰開導妻子，讓妻子從灰暗的心理狀態(tài)中走出來�？墒呛畏e豐越是關愛張蕾蕾，張蕾蕾就越是覺得難過。曾幾何時，她是家里家外的一把手，既要照顧女兒又要做好學校里的工作。人們常常看見她上下班大步流星的樣子，有時候還會小跑起來，很多人驚異于這個柔弱女性身上蘊藏的力量，工作上被評為先進，家里也打理得井井有條。而她所做的這一切就是為了讓丈夫全身心地投入到學習和工作中去，不讓丈夫因為家事而分心。可是，現(xiàn)在自己已經(jīng)成了丈夫的累贅，這種痛苦甚至要甚于失明給她的打擊。
見了丈夫的張蕾蕾覺得心愿已了，她做出了一個決定，向丈夫提出離婚。何積豐知道妻子是不想拖累自己，他動情地說：“感情上不可能，道義上不允許，我就是你的眼睛，我倆要永遠在一起！”
從此以后，何積豐成了妻子的眼睛。春天，他帶她出去踏青，告訴她燕兒歸來，楊柳依依；夏天，他買來冰淇淋，帶給她夏日的清涼和香甜；秋天，他帶她走在落葉上，告訴她“落紅不是無情物，化作春泥更護花”；冬天，他和她一起聽雪落的聲音，告訴她“冬天來了，春天還會遠嗎”。
只要一有空閑，何積豐就會來到妻子身邊和她聊天，告訴她自己取得的每一點進步和每一個大膽的設想。有時候，為了幫助妻子練習英語，他們就用英語聊天。漸漸地，張蕾蕾便能說一口流利的英語了。
早出晚歸的何積豐和妻子惟一能共享的休閑時刻就是每個星期六的上午，何積豐都會陪妻子逛菜市場、超市，買來一周的生活用品。就這樣，他們從春走到秋，又從秋走到春。盡管與別人相比，他能做的是那么有限，但這首淺吟低唱的愛之歌，自有其深深的情韻。漸漸地，張蕾蕾適應了牛津的生活，她決定要幫丈夫分憂。雖然自己的眼睛看不見了，但她相信自己一定還能夠為丈夫營造一個溫暖而輕松的港灣。因此，她不經(jīng)常去實驗室了，她要在家里學做家務。
漸漸地，張蕾蕾學會了做所有的家務，整理房間、洗衣、做飯、熨衣服、織毛衣……她還學會了彈鋼琴。張蕾蕾雖然失去了自己的眼睛，可丈夫成了她的眼睛，這雙眼睛不僅給她帶來了光明，還給她帶來了一生的幸福和一世的愛戀。饑餓的人才知道食物的美味，失明的人才知道光明的可貴。失明的張蕾蕾倍加珍惜她的新眼睛，她要好好地愛他，呵護他，所以她要重新找回自信，要全力為丈夫分擔，讓他全心全意地投入到他所熱愛的事業(yè)中去。
何積豐 - 相關詞條
| 梁思禮 | 匡定波 | 李衍達 | 雷嘯霖 | 林尊琪 |
| 干福熹 | 黃宏嘉 | 李啟虎 | 陸汝鈐 | 劉盛綱 |
| 郭雷 | 黃民強 | 李未 | 侯洵 | 劉永坦 |
| 郭光燦 | 黃琳 | 簡水生 | 李志堅 | 劉頌豪 |
| 高慶獅 | 何積豐 | 侯朝煥 | 林惠民 | 闕端麟 |
何積豐 - 參考資料
1、http://www.gzas.org/kxybbs/asp/showtopic.asp?TopBh=100364
2、http://www.fudan.edu.cn/new_teach/hejifeng.htm
