华东师范大学名师:何积丰

发布时间:2021-10-27 编辑:考研派小莉 推荐访问:
华东师范大学名师:何积丰

华东师范大学名师:何积丰内容如下,更多考研资讯请关注我们网站的更新!敬请收藏本站,或下载我们的考研派APP和考研派微信公众号(里面有非常多的免费考研资源可以领取,有各种考研问题,也可直接加我们网站上的研究生学姐微信,全程免费答疑,助各位考研一臂之力,争取早日考上理想中的研究生院校。)

华东师范大学名师:何积丰 正文

 

  何积丰,上海人,计算机软件专家,中国科学院院士。

  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提出了程序设计统一理论和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言,以及非确定性数据流的数学模型及代数定律。近年来,研究的软硬件协同设计系统,为减少系统芯片设计时间和降低成本提供了有益的方法。

 

 

  院士感言:我这个人算不上聪明,惟一的诀窍就是每天都不脱离专业工作,双休日都不例外。正如我的名字,只有经过长期的“积”累,才能期盼“丰”收的喜悦。


 

以上老师的信息来源于学校网站,如有更新或错误,请联系我们进行更新或删除,联系方式

添加华东师范大学学姐微信,或微信搜索公众号“考研派小站”,关注[考研派小站]微信公众号,在考研派小站微信号输入[华东师范大学考研分数线、华东师范大学报录比、华东师范大学考研群、华东师范大学学姐微信、华东师范大学考研真题、华东师范大学专业目录、华东师范大学排名、华东师范大学保研、华东师范大学公众号、华东师范大学研究生招生)]即可在手机上查看相对应华东师范大学考研信息或资源

华东师范大学考研公众号 考研派小站公众号
华东师范大学

本文来源:http://www.okaoyan.com/huadongshifandaxue/daoshi_505186.html

推荐阅读