北京 天津 河北 山西 内蒙古 辽宁 吉林 黑龙江 上海 江苏 浙江 安徽 福建 江西 山东 河南 湖北 湖南 广东 广西 海南 重庆 四川 贵州 云南 西藏 陕西 甘肃 青海 宁夏 新疆 台湾 香港 澳门
您现在的位置> 首页> 上海>

何积丰

[中国科学院院士]

何积丰为[中国科学院院士]

  
何积丰
  何积丰,计算机软件专家。华东师范大学教授。1943年8月生于上海市。1965年毕业于复旦大学数学系。现任华东师范大学软件学院院长,上海嵌入式系统研究所所长。2005年当选为中国科学院院士。
  1980年起,从事程序设计理论及其应用研究。1986年和C.A.R.Hoare提出了“程序分解算子”,并将规范语言与程序语言看成是同一类数学对象。接着又提出了采用“关系代数”作为程序和软件规范的统一数学模型,使得关系代数可用来描写程序的分解和组合过程,直接支持软件的开发。在数据精化方面,给出了处理非确定性程序语言数据精化的完备方法。1995年,在总结了多类程序语言语义理论和方法的基础上,与C.A.R.Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言,以及非确定性数据流的数学模型及代数定律。近年来,研究的软硬件协同设计系统,为减少系统芯片设计时间和降低成本提供了有益的方法。