何积丰 百科内容来自于: 百度百科

中国科学院院士,计算机软件专家。华东师范大学教授。 1943年8月生于上海市。1965年毕业于复旦大学数学系。1965年起在华东师范大学工作,先后任助教、讲师,1986年晋升为教授。1980年至1981年,在美国斯坦福大学、旧金山大学做访问学者;1983年至1998年在英国牛津大学计算机实验室任高级研究员,1998年起任联合国大学国际软件技术研究所高级研究员。2002年至今,任华东师范大学软件学院院长,2002年成为华东师范大学首批终身教授。2005年当选中国科学院院士。现任华东师范大学软件学院院长,上海嵌入式系统研究所所长、教授、博士生导师。

人物简介

1980年起,从事程序设计理论及其应用研究。1986年和C.A.R.Hoare提出了"程序分解算子",并将规范语言与程序语言看成是同一类数学对象。接着又提出了采用"关系代数"作为程序和软件规范的统一数学模型,使得关系代数可用来描写程序的分解和组合过程,直接支持软件的开发。
在数据精化方面,给出了处理非确定性程序语言数据精化的完备方法。1995年,在总结了多类程序语言语义理论和方法的基础上,与C.A.R.Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。
还提出了用形式化的界面理论沟通几种程序语言,以及非确定性数据流的数学模型及代数定律。研究的软硬件协同设计系统,为减少系统芯片设计时间和降低成本提供了有益的方法。
何积丰在国际上获得的地位让同行们仰视:联合国大学国际软件技术研究所高级研究员,英国牛津大学客座教授,牛津大学计算实验室高级研究员,两度获最高科研奖——英国先进科技女皇奖。他被国际计算机科学界誉为面向模型软件开发方法的奠基石。他在安全软件设计方面的论著被国际软件界广泛引用。他率先提出关系程序设计语言,这项工作被欧洲计算机界认为是继过程语言、函数程序、逻辑程序之后的第四类程序语言的先驱,他因而被欧洲软件界权威人士赞之为“软件设计技术上的一座里程碑”。
他是联合国大学国际软件技术研究所高级研究员,英国牛津大学客座教授,牛津大学计算实验室高级研究员,两度获最高科研奖――英国先进科技女皇奖。他被国际计算机科学界誉为面向模型软件开发方法的奠基人,他的学术成就被欧洲软件界权威人士赞之为软件设计技术上的一座里程碑。2005年他又当选为中国科学院院士。

简要经历

1943.08.05 出生于上海市
1960.05~1965.02上海复旦大学数学系学习
1980.07-~1981.07美国坦福大学、旧金山大学进修
1965.03-~1985.07华东师范大学助教、讲师
1984.12~1998.07英国牛津大学客座教授、高级研究员
1986.08~华东师范大学教授
1988~国家有突出贡献中青年专家;
1995.08~华东师范大学博士生导师;
1996.08~上海交通大学兼职教授、博士生导师
1998.07~联合国大学国际软件技术研究所高级研究员
1998.08~南京大学兼职教授、博士生导师
2001.11~华东师范大学软件学院院长
2002.12~华东师范大学终身教授
2003.05~浙江大学兼职教授、博士生导师
2005年评为中科院院士
2008.05~天津师范大学软件学院名誉院长、兼职教授
2010.04.17何积丰院士被英国约克大学授予荣誉博士学位

代表论著

自1985年以来,在“设计严格安全软件的完备演算系统”方面的研究成果。主要提供了两项技术
何积丰 院士

何积丰 院士

(1)建立程序和软件规范的演算系统,在软件开发周期各个重要阶段,均可使用数学演算来支持建立软件设计的技术文档和验证任务;
(2)设计完整的演算法则用来指导以下开发任务:
①从用户需求导出软件系统各部件的规范说明;
②从部件的规范说明演算出低层软件模块过程的功能说明。
研究论文发表在“Comm of the ACM”、“Formal Aspect of Computing”、“Science of Computer Programming”、“Acta Information”等国际著名杂志及重要学术会议上,至2002年,被SCI它引169次。
1.J.He,J.He,C.A.R.Hoare,J.W.Sanders,Data Refinement Refined-Resume,Lecture Notes in Computer Science,1986,213:187-196
2.C.A.R.Hoare,He Jifeng,J.W.Sanders,Prespecification in Data Refinement,Information processing Letters,1987,25:71-76
3.He Jifeng,Process Simulation and Refinement,Formal Aspects of Computing,1989,1:229-241
4.He Jifeng,C.A.R.Hoare,From Algebra to Operational Semantics,Information processing letters,1993,45:75-80
5.He Jifeng,From CSP to Hybrid Systems,A Classical Mind,1994,171-191
6.He Jifeng,C.A.R.Hoare,Provably Correct Systems,Lecture Notes of Computer Science,1994,863:288-335
7.He Jifeng,Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers,McGraw-Hill Publisher,1994.
8.He Jifeng,K.Seidel,A.McIver,Probabilistic Models for The Guarded Command Language,Science of Computer Programming,1997,28:171-192
9.C.A.R.Hoare,He Jifeng,Unifying Theories of Programming,Prentice Hall International,1998.
10.He Jifeng,A Common Framework for Mixed Hardware/Software Systems,Proceedings of IFM'99,1999,1-24.

获奖情况

电子工业部软件一等奖(1985)
上海市科技进步一等奖(1986)
英国先进技术女皇奖(1989)
英国先进技术女皇奖(1993)
上海市科技进步一等奖(2000)
国家自然科学二等奖(2002)

主要成就

1.提出数据精化的完备理论针对当时数据精化方法上存在不完备以及只能处理确定性程序语言等缺陷,何积丰和合作者在论文“DataRefinementRefined”和“PrespecificationinDataRefinement”中给出了一个处理非确定程序语言数据精化的方法,使用“上下仿真映照对”来获得程序模块中各过程的函数说明,给出了完备演算规则。1989年,他与合作者指出了精化方法与程序代数定律的直接联系,从而可根据不同的语言选择相应的精化计算方法。欧洲著名规范语言B采用了该方法(见J-RAbrial专著《TheBBook》第501页、第550页,剑桥大学出版)。剑桥大学理论计算机科学丛书曾指出,这一数据精化完备理论是面向模型软件开发的一个里程碑。
2.建立程序和软件规范的统一数学模型1986年,他与合作者提出了程序分解算子,并将规范语言与程序语言看成是同一类数学对象。1987年,他在“TheWeakestPrespecification”中提出可采用“关系代数”作为程序和软件规范的统一数学模型,并在此数学框架中发现求解规范方程(X;Q>S)和(P;X>S)的演算法则,这样使得关系代数可用来描写程序的分解和组合过程,因而数学方法可直接用于支持软件的开发。在上述工作基础上,提出了程序的代数定律理论,给出了程序设计语言的一套完备的代数定律,这使得程序变换可直接依赖于基本定律的应用来完成。
3.提出编程统一理论和连接各类程序理论的数学法则1998年,他和C.A.R.Hoare在专著“UnifyingTheoriesofProgramming”中给出了能描述串行语言、并行语言、通信语言、逻辑语言、函数程序语言的统一数学模型,证明了三类不同语义(指称语义、代数语义和操作语义)的一致性,并提出“LinkingTheory”应用于设计概率程序语言的数学模型。
4.用形式化界面理论沟通几种程序语言,提出非确定性数据流的数学模型和代数定律在1989年开始的欧洲尤里卡基础研究项目PROCOS中,其重要任务就是以形式化的界面理论来沟通几种程序语言及设计一个可证明的编译程序和程序变换系统。何积丰在项目中作出了重要贡献,他的专著 《ProvableCorrectSystems:ModellingofCommunicationLanguagesandDesignofOptimizedCompilers》总结了相关工作。1990年他在论文“AtheoryofSynchronyandAsynchrony”中提出了非确定性数据流的数学模型及代数定律,这套理论用于支持Jackson开发方法和异步通信进程设计。
5、研究软硬件协同设计系统的数学模型1992年至今一直从事基于工业设计语言VERILOG的软硬件协同设计框架,讨论语言的仿真器语义和合成语义的一致性问题,设计具有最优配置的软硬件分解器和合成器的数学模型。现已开发完成“海神”软硬件协同设计平台并应用。

项目

2001-2003,VERILOG仿真器和合成器设计,上海市信息委项目(CX20010005)
2002-2004,UML软件开发进程的形式化理论,教育部重点项目(02104)
2003-2005,安全软件理论与软硬件协同设计,“211”项目
2002-2007,网构软件形式化理论与方法研究,973项目(Internet环境下基于Agent的软件中间件理论和方法的研究,课题编号:2002CB31200001)

妻子失明

1980年对于何积丰来说,是值得他铭记一生的年份。这一年他被华东师范大学派到美国旧金山大学进修,这是他多年来的期盼。自从1960年5月,16岁的他免试进入复旦大学数学系学习以来,他就希望有朝一日能够到国外深造,去领略国外先进的科学技术。1965年毕业后,他被分配到华东师范大学工作,在学校领导的支持下,他成为上海高校中第一批从事计算机科学研究的人员。正当他想大展宏图之时,十年动乱开始了,他不得不放弃了正常的科研活动。然而,在他的心里,对科研的渴望更加强烈了。
“文革”结束,百废待兴。华东师范大学的科研队伍也在重整旗鼓,终于,何积丰以一贯认真的工作态度,赢得了学校的信任,被派往美国旧金山大学进修,专攻计算机应用。妻子张蕾蕾也为他高兴,虽然刚刚生下女儿,但她依然支持丈夫去国外深造,她知道这是丈夫的心愿。
在美国这个科技发达的国家,何积丰以异常的热情投入到学习和科研中去。课余时间里,他常常到远离旧金山的斯坦福大学和另一所名牌大学去旁听著名教授的讲课。每次,都得凌晨起床,步行一小时至长途汽车站。就这样,何积丰把别人用来给家人带“大件”的生活补贴都花在了美国的长途汽车票上。斯坦福大学的导师也被这位刻苦求学的来自于中国的年轻人打动了,不久,何积丰被批准进入该校学习。这样,何积丰开始了每天奔波于两校之间的求学生涯。
在紧张的学习科研中,每次读家书是他最快乐的时刻。几乎每个星期,妻子都会写一封长长的信,告诉他女儿的每一声啼哭、每一个微笑和学会的每一句话,以及自己工作生活中的点点滴滴。每个月,妻子都会把女儿最新的体重和身高报告给他,在那一点点变化的数字里,远在异国他乡的他感受到了女儿的成长和妻子对他的绵长的思念。
半年以后,一向准时而至的家书,突然中断了。何积丰着急地写信回去询问情况,终于,一个月后,他收到了回信。原来妻子张蕾蕾因骑自行车不小心右手骨折了,所以不能写信,这封信还是别人代写的。在信中,张蕾蕾安慰丈夫自己伤势很轻,不久就能恢复,不要为她担心。此时在知识的海洋里恣意漫游的何积丰,相信了妻子的话,又重新投入到学习科研中。
只是没有了家书的日子,让何积丰觉得有些不适应。每当月圆之际,他都会抬头仰望那一轮明月,虽然月亮的光芒几乎被闪烁的霓虹灯淹没,但在何积丰的心里,月亮是最美最温柔的,因为那里有妻子和女儿的目光。想必妻子此时也一定在想念着自己,只是调皮可爱的女儿肯定不能体会妈妈此时的思念。
就在为期一年的学习快要结束时,何积丰越来越不安起来,他总觉得妻子有什么事情瞒着他,不然都快半年了,一个小小的骨折怎么还没有恢复呢?终于等到了学成回国的时刻,坐在飞机上,他的心是激动而又惶恐的,激动的是自己终于回到了日夜思念的家,惶恐的是家里是否依旧平安。
何积丰走到了熟悉的家门口,他犹豫着按下了门铃。家门打开的一刹那,他看见的是衣衫不整而又憔悴的妻子,头发枯黄散乱,戴着一副墨镜,颧骨突起,衣服褶皱不堪,扣子还扣错了两粒。这哪里还是那个整洁美丽的妻子?何积丰哽咽着喊了一声:“蕾蕾!”张蕾蕾颤抖着走到何积丰的身边,双手沿着丈夫的头摸了下来,从眼睛、鼻子、嘴唇到肩膀、手臂再到双腿、双脚,泪水从墨镜下流了出来。她紧紧地抱住丈夫,嘴里呢喃着:“又见着你了……”
何积丰这才发现妻子的眼睛不对劲:“蕾蕾,你的眼睛怎么了?”
原来,何积丰到美国半年后,张蕾蕾这个不到30岁的中学女教师,在一起意外事故中受伤,一夜之间双目失明了!她没有告诉丈夫,因为她知道在国外学习一直是丈夫的梦想,她不想把丈夫从为理想而奋斗的快乐中拉回来,于是她编织了那个右手骨折的谎言。其实,在失明的这半年里,张蕾蕾曾无数次地想到了死,可每每想到丈夫,想到女儿,她又放弃了,她想不管以后如何,总要再见一面丈夫再说。于是,张蕾蕾在黑暗中等待着丈夫的回来。

照顾妻子

何积丰的心碎了,他没想到自己不在的时候,妻子遭遇了如此的痛苦。为了让自己安心在美国学习,妻子竟隐瞒了事实,独自承受着这巨大的打击。何积丰又心痛又后悔,为妻子的眼睛而心痛,为自己轻信妻子的谎言而后悔!在妻子最艰难、最黑暗的时候,他本应该陪在妻子身边和她一起承受,可是自己却远在异国他乡,而且对此一无所知!平静下来之后,何积丰决定带妻子看最好的医生,让她重见光明,同时还要给妻子更多的爱,抚平她心上的伤痕。
接下来的日子里,何积丰一边求医问药,一边安慰开导妻子,让妻子从灰暗的心理状态中走出来。可是何积丰越是关爱张蕾蕾,张蕾蕾就越是觉得难过。曾几何时,她是家里家外的一把手,既要照顾女儿又要做好学校里的工作。人们常常看见她上下班大步流星的样子,有时候还会小跑起来,很多人惊异于这个柔弱女性身上蕴藏的力量,工作上被评为先进,家里也打理得井井有条。而她所做的这一切就是为了让丈夫全身心地投入到学习和工作中去,不让丈夫因为家事而分心。可是,自己已经成了丈夫的累赘,这种痛苦甚至要甚于失明给她的打击。
见了丈夫的张蕾蕾觉得心愿已了,她做出了一个决定,向丈夫提出离婚。何积丰知道妻子是不想拖累自己,他动情地说:“感情上不可能,道义上不允许,我就是你的眼睛,我俩要永远在一起!”
从此以后,何积丰成了妻子的眼睛。春天,他带她出去踏青,告诉她燕儿归来,杨柳依依;夏天,他买来冰淇淋,带给她夏日的清凉和香甜;秋天,他带她走在落叶上,告诉她“落红不是无情物,化作春泥更护花”;冬天,他和她一起听雪落的声音,告诉她“冬天来了,春天还会远吗”。
只要一有空闲,何积丰就会来到妻子身边和她聊天,告诉她自己取得的每一点进步和每一个大胆的设想。有时候,为了帮助妻子练习英语,他们就用英语聊天。渐渐地,张蕾蕾便能说一口流利的英语了。
早出晚归的何积丰和妻子惟一能共享的休闲时刻就是每个星期六的上午,何积丰都会陪妻子逛菜市场、超市,买来一周的生活用品。就这样,他们从春走到秋,又从秋走到春。尽管与别人相比,他能做的是那么有限,但这首浅吟低唱的爱之歌,自有其深深的情韵。渐渐地,张蕾蕾适应了牛津的生活,她决定要帮丈夫分忧。虽然自己的眼睛看不见了,但她相信自己一定还能够为丈夫营造一个温暖而轻松的港湾。因此,她不经常去实验室了,她要在家里学做家务。
渐渐地,张蕾蕾学会了做所有的家务,整理房间、洗衣、做饭、熨衣服、织毛衣……她还学会了弹钢琴。张蕾蕾虽然失去了自己的眼睛,可丈夫成了她的眼睛,这双眼睛不仅给她带来了光明,还给她带来了一生的幸福和一世的爱恋。饥饿的人才知道食物的美味,失明的人才知道光明的可贵。失明的张蕾蕾倍加珍惜她的新眼睛,她要好好地爱他,呵护他,所以她要重新找回自信,要全力为丈夫分担,让他全心全意地投入到他所热爱的事业中去。
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定