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

专家队伍

何积丰 中国科学院院士

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

 


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

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

 

更多