您现在的位置:首页>领贤计划>专家队伍

专家队伍

何积丰 中国科学院院士

2015年04月21日 浏览量: 次 评论(0) 来源: 作者:

七星彩app下载 www.79kk4.com.cn  


计算机软件专家,现任华东师范大学软件学院院长,上海嵌入式系统研究所所长,联合国大学国际软件技术研究所高级研究员,英国牛津大学客座教授,牛津大学计算实验室高级研究员,两度获最高科研奖——英国先进科技女皇奖。被国际计算机科学界誉为面向模型软件开发方法的奠基石,率先提出关系程序设计语言,这项工作被欧洲计算机界认为是继过程语言、函数程序、逻辑程序之后的第四类程序语言的先驱,因而被欧洲软件界权威人士赞之为“软件设计技术上的一座里程碑”。

2005年当选为中国科学院院士。

 

  • 宁夏石嘴山平罗太沙工业园敷衍整改现象严重 2018-12-18
  • 居家出行新选择  人民网试驾长安新CS75 2018-12-18
  • 做习近平新闻思想的坚定实践者 2018-12-18
  • 2018中国(哈尔滨)跨境电商合作会议召开 2018-12-17
  • 广西首富出狱后再成云南首富 引爆广西监狱窝案 2018-12-17
  • 发现食品安全问题拨打12331投诉 2018-12-17
  • 人民空军多型战机绕飞祖国宝岛巡航纪念封在全国公开发行 2018-12-16
  • 九江市委书记林彬杨主持召开市委常委会议 对市县机构改革提了这些要求 2018-12-16
  • 端午小长假 歌舞飞扬“剧”精彩 2018-12-16
  • 什么让湖北这两家百年老企基业常青? 解码“年轻秘笈” 2018-12-15
  • 图说互联网(35期):炎炎夏日,如何预防“冰箱病” 2018-12-15
  • 北方也有龙舟赛!秦皇岛45支龙舟队共角逐(图) 2018-12-15
  • 河北馆陶:端午节火了“艾旅游” 2018-12-14
  • 陕西首批“00后”高考结束轻松走出考场 6月24日起填报志愿 2018-12-14
  • 兰帕德泪奔!门线技术立功 博格巴接吉鲁妙传破门 2018-12-14
  • 931| 677| 530| 664| 938| 495| 184| 676| 930| 781|