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

发布时间：2021-10-27 编辑：考研派小莉推荐访问：

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

+华东师范大学研究生
微信,为你答疑,送资源

华东师范大学学前教育系导师：郭力平华东师范大学名师：赖宗声华东师范大学名师：谭　帆华东师范大学名师：潘文国华东师范大学名师：潘德荣华东师范大学名师：臧克和 95%的同学还阅读了： 华东师范大学研究生招生目录华东师范大学研究生分数线华东师范大学王牌专业排名华东师范大学考研难吗华东师范大学考研调剂信息华东师范大学研究生导师名单华东师范大学研究生学费华东师范大学研究生奖学金

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

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

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

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

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

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