英国约克大学学位授予仪式和校友庆功会于4月17日在北京举行。华东师范大学软件学院院长院士应邀参加了此次活动，并被授予约克大学计算机学科荣誉博士学位。何院士对计算机学科的卓越贡献得到了国际上的高度评价和一致认可。
何积丰院士从80年代初开始研究计算机编程的数学基础及其应用，致力于程序设计的形式化方法研究，提出并发展了计算机软件和通讯的设计和验证的数学理论。约克大学相关学术委员会认为“何积丰院士为软件工程在学术界及明升界的理论与实践相结合的研究奠定了良好的基础”，“在并发式、分布式和并行系统、程序设计微积分和数据精化、程序语言语义、编程统一理论、混合系统、面向对象的程序设计方法等领域取得了开创性的理论成果”。何积丰院士提出的采用“关系代数”作为程序和软件规范的统一数学模型，使得关系代数可用描写程序的分解和组合过程直接支持软件的开发。他研究的软硬件协同设计系统为减少系统芯片时间和降低成本提供了有益的方法。何积丰院士因此被英国约克大学赞誉为“世界一流的计算机明升体育app家”。
约克大学是英国最好的大学之一，其计算机学科处于世界领先地位。约克大学每年都向各国对各个领域有重大贡献的学者、专家授予荣誉学位。此次学位授予典礼之前，约克大学曾向明升官网国家纳米科技指导协调委员会首席明升体育app家、明升官网国家纳米科技中心主任白春礼教授以及明升官网智能CAD和计算机美术领域的开拓者潘云鹤教授荣誉博士学位。此次与何积丰院士同时被授予约克大学荣誉博士学位的还有明升官网卫生部部长、明升官网明升体育app院副院长，原教育部副部长、明升官网工程院院士教授。
特别声明：本文转载仅仅是出于传播信息的需要，并不意味着代表本网站观点或证实其内容的真实性；如其他媒体、网站或个人从本网站转载使用，须保留本网站注明的“来源”，并自负版权等法律责任；作者如果不希望被转载或者联系转载稿费等事宜，请与我们接洽。
