何积丰人物评价

何积丰人物评价何积丰是信息领域领军专家,被国际计算机科学界誉为面向模型软件开发方法的奠基石

他在安全软件设计方面的论著被国际软件界广泛引用

他率先提出关系程序设计语言,这项工作被欧洲计算机界认为是继过程语言、函数程序、逻辑程序之后的第四类程序语言的先驱,他因而被欧洲软件界权威人士赞之为“软件设计技术上的一座里程碑”

(中华人民共和国工业和信息化部评)“何老师始终把学术事业和祖国的命运与党领导的事业密切地联系在一起,为自己能够在国家发展、学术发展和整个社会的进步中发挥作用而感到自豪

” (华东师范大学党委书记童世骏评)“何积丰教授在极具应用前景的重要领域中的计算科学方面做出了大量的基础性贡献”

 (图灵奖获得者Hoare 评)“我发明的关系演算工作主要归功于何积丰的研究”

 (图灵奖获得者Dijkstra 评)“在过去十五年,何积丰是牛津大学程序研究领域取得成功的驱动力”

 (英国科学技术委员会给政府的报告 评)“何积丰在软件工程的科学理论与工业实践方面做出了奠基性的工作⋯他发明并开发了计算机系统、通信与标准的精确规范(数学)理论与技术,能以低成本的方式构建高可靠的软件与硬件系统”

 (英国皇家工程院院士McDermid 评)

以上内容由大学时代综合整理自互联网,实际情况请以官方资料为准。

相关