高端人才

当前位置 : 

何积丰

 

姓  名:何积丰

出生年月:1943-8

研究方向:程序设计理论及其应用研究

职  称:教授

个人情况综述

    何积丰,中科院院士,我校共享双聘院士,杭州国际服务工程学院院长,教授,博士生导师。
    1980年起,从事程序设计理论及其应用研究。1986年和C.A.R.Hoare提出了 “程序分解算子”,并将规范语言与程序语言看成是同一类数学对象。接着又提出了采用"关系代数"作为程序和软件规范的统一数学模型,使得关系代数可用来描写程序的分解和组合过程,直接支持软件的开发。在数据精化方面,给出了处理非确定性程序语言数据精化的完备方法。1995年,在总结了多类程序语言语义理论和方法的基础上,与C.A.R.Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言,以及非确定性数据流的数学模型及代数定律。近年来,研究的软硬件协同设计系统,为减少系统芯片设计时间和降低成本提供了有益的方法。

学习工作简历
1965年毕业于复旦大学数学系
1965年起在华东师范大学工作,先后任助教、讲师,1986年晋升为教授
1980年至1981年在美国斯坦福大学、旧金山大学做访问学者
1984-1998年英国牛津大学客座教授、高级研究员
1996年任上海交通大学兼职教授、博士生导师
1998年起任联合国大学国际软件技术研究所高级研究员,南京大学兼职教授、博士生导师
2001年任华东师范大学软件学院院长
2002年当选华东师范大学终身教授
2003年起任浙江大学兼职教授、博士生导师
2005年12月当选中国科学院院士
2009年受聘为杭州师范大学国际服务工程学院院长
 
学术成就荣誉
1985年获电子工业部软件一等奖
1986年获上海市科技进步一等奖
1988年入选国家有突出贡献中青年专家
1989和1993年两次获得英国先进技术女皇奖
2000年获上海市科技进步一等奖
2002年获国家自然科学二等奖
 

地址:浙江省杭州市余杭塘路2318号
邮编:311121
联系电话:0571-28865012
本科招生热线: 0571-28865193
研究生招生热线:0571-28865143
  • 官方微信
  • 官方微博
  • 官方APP
  • 官方抖音
版权所有 © 2019 杭州师范大学  公安备案号:33011002011919  浙ICP备11056902号 
官方微信
官方微博
Copyright © 2020 All Rights Reserved
地址:浙江省杭州市余杭塘路2318号
邮编:311121 公安备案号:33011002011919
浙ICP备11056902号
版权所有 © 杭州师范大学