华东师范大学名师介绍:何积丰
何积丰,上海人,计算机软件专家,中国科学院院士。
1965年毕业于复旦大学数学系;1965-1986年华东师范大学助教、讲师;1986年华东师范大学教授;1984-1998年英国牛津大学客座教授、高级研究员;1995年博士生导师;1996年任 上海交通大学兼职教授、博士生导师;1998年起任联合国大学国际软件技术研究所高级研究员,南京大学兼职教授、博士生导师;2001年任华东师范大学软件学院院长;2002年当选华东师范大学终身教授;2003年起任浙江大学兼职教授、博士生导师。现任华东师大软件学院院长、上海嵌入式系统研究所所长。2005年12月当选中国科学院院士。1985年获电子工业部软件一等奖,1986年获上海市科技进步一等奖,1988年入选国家有突出贡献中青年专家,1989和1993年两次获得英国先进技术女皇奖,2000年获上海市科技进步一等奖,2002年获国家自然科学二等奖 。
主要成就:1980年起,从事程序设计理论及其应用研究。1986年和C.A.R.Hoare提出了"程序分解算子",并将规范语言与程序语言看成是同一类数学对象。接着又提出了采用"关系代数"作为程序和软件规范的统一数学模型,使得关系代数可用来描写程序的分解和组合过程,直接支持软件的开发。在数据精化方面,给出了处理非确定性程序语言数据精化的完备方法。1995年,在总结了多类程序语言语义理论和方法的基础上,与C.A.R.Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言,以及非确定性数据流的数学模型及代数定律。近年来,研究的软硬件协同设计系统,为减少系统芯片设计时间和降低成本提供了有益的方法。
院士感言:我这个人算不上聪明,惟一的诀窍就是每天都不脱离专业工作,双休日都不例外。正如我的名字,只有经过长期的“积”累,才能期盼“丰”收的喜悦。
【华东师范大学名师介绍:何积丰】相关文章:
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
- 【导师介绍】华东政法大学历年考研专业课试题
- 【导师介绍】财政部财政科所研究所2000年考研经济学试题(文)
- 【导师介绍】财政部财政科学研究所2005年考研经济学试题
- 【导师介绍】华东政法大学2004年考研法学综合试题
- 【导师介绍】对外经济贸易大学2004年考研国际贸易学综合试题
- 【导师介绍】华东政法大学1999年考研刑事诉讼法试题
- 【导师介绍】财政部财政科学研究所2005年考研财政学加试试题
- 【导师介绍】财政部财政科所研究所2001年考研经济学试题(理)
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比