欢迎来到加倍考研网! 北京 上海 广州 深圳 天津
微信二维码
在线客服 40004-98986

华东师范大学

  • 建校时间:1951年
  • 招生简章:共20份简章
  • 院校类型:师范类
  • 所在地区:上海
错误提示
错误提示
错误提示
提交志愿

提交成功

2014年华东师范大学080903微电子学与固体电子学考研报录比

考研网快讯,据华东师范大学研究生院消息,2014年华东师范大学微电子学与固体电子学考研报录比还未公布。为方便网友及时了解华东师范大学微电子学与固体电子学的报录比信息,故开启了关于华东师范大学微电子

  • 2014年华东师范大学085209集成电路工程考研报录比

    考研 工程考研报录比华东师范大学

    考研网快讯,据华东师范大学研究生院消息,2014年华东师范大学集成电路工程考研报录比还未公布。为方便网友及时了解华东师范大学集成电路工程的报录比信息,故开启了关于华东师范大学集成电路工程考研报录比

  • 2014年华东师范大学080904电磁场与微波技术考研报录比

    考研网快讯,据华东师范大学研究生院消息,2014年华东师范大学电磁场与微波技术考研报录比还未公布。为方便网友及时了解华东师范大学电磁场与微波技术的报录比信息,故开启了关于华东师范大学电磁场与微波技

  • 2014年华东师范大学081001通信与信息系统考研报录比

    考研网快讯,据华东师范大学研究生院消息,2014年华东师范大学通信与信息系统考研报录比还未公布。为方便网友及时了解华东师范大学通信与信息系统的报录比信息,故开启了关于华东师范大学通信与信息系统考研

  • 2014年华东师范大学081002信号与信息处理考研报录比

    考研网快讯,据华东师范大学研究生院消息,2014年华东师范大学信号与信息处理考研报录比还未公布。为方便网友及时了解华东师范大学信号与信息处理的报录比信息,故开启了关于华东师范大学信号与信息处理考研

  • 2014年华东师范大学085208电子与通信工程考研报录比

    考研 电子与通信工程考研 工程考研报录比

    考研网快讯,据华东师范大学研究生院消息,2014年华东师范大学电子与通信工程考研报录比还未公布。为方便网友及时了解华东师范大学电子与通信工程的报录比信息,故开启了关于华东师范大学电子与通信工程考研

  • 2014年华东师范大学0835软件工程考研报录比

    考研 软件工程考研报录比 工程考研报录比

    考研网快讯,据华东师范大学研究生院消息,2014年华东师范大学软件工程考研报录比还未公布。为方便网友及时了解华东师范大学软件工程的报录比信息,故开启了关于华东师范大学软件工程考研报录比的帖子,网友

  • 2014年华东师范大学085212软件工程考研报录比

    考研 软件工程考研报录比 工程考研报录比

    考研网快讯,据华东师范大学研究生院消息,2014年华东师范大学软件工程考研报录比还未公布。为方便网友及时了解华东师范大学软件工程的报录比信息,故开启了关于华东师范大学软件工程考研报录比的帖子,网友

  • 2014年华东师范大学030207国际关系考研报录比

    考研 华东师范大学 国际关系考研

    考研网快讯,据华东师范大学研究生院消息,2014年华东师范大学国际关系考研报录比还未公布。为方便网友及时了解华东师范大学国际关系的报录比信息,故开启了关于华东师范大学国际关系考研报录比的帖子,网友

  • 华东师范大学名师介绍:何积丰

     何积丰,上海人,计算机软件专家,中国科学院院士。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提出了程序设计统一理论和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言,以及非确定性数据流的数学模型及代数定律。近年来,研究的软硬件协同设计系统,为减少系统芯片设计时间和降低成本提供了有益的方法。  院士感言:我这个人算不上聪明,惟一的诀窍就是每天都不脱离专业工作,双休日都不例外。正如我的名字,只有经过长期的“积”累,才能期盼“丰”收的喜悦。