院士名片:华东师大教授。1943年生于上海。现任华东师大软件学院院长、上海嵌入式系统研究所所长。
院士感言:我这个人算不上聪明,惟一的诀窍就是每天都不脱离专业工作,双休日都不例外。正如我的名字,只有经过长期的“积”累,才能期盼“丰”收的喜悦。
12月16日,从北京传来喜讯:我校软件学院院长何积丰教授当选为中国科学院院士。这是何积丰教授数十年如一日孜孜不倦攀登世界计算科学领域高峰的结果。他也是上海市计算机软件领域申报获批准的首位院士。
主要成就: 1986年和C.A.R.Hoare提出了“程序分解算子”,并将规范语言与程序语言看成是同一类数学对象。接着又提出了采用"关系代数"作为程序和软件规范的统一数学模型,使得关系代数可用来描写程序的分解和组合过程,直接支持软件的开发。在数据精化方面,给出了处理非确定性程序语言数语言数据精化的完备方法。近年来,研究的软硬件协同设计系统,为减少系统芯片设计时间和降低成本提供了有益的方法。
|