搜索
你想要找的

# 热门搜索 #

建党100周年70周年校庆卓越育人学术育人不言之教幸福之花

当前位置: 首页 / 新闻栏目 / 新闻热点 / 正文

何积丰院士被英国约克大学授予荣誉博士学位

2010年05月26日



    
    英国约克大学学位授予仪式和校友庆功会于4月17日在北京举行。我校软件学院院长何积丰院士应邀参加了此次活动,并被授予约克大学计算机学科荣誉博士学位。何院士对计算机学科的卓越贡献得到了国际上的高度评价和一致认可。
何积丰院士从80年代初开始研究计算机编程的数学基础及其应用,致力于程序设计的形式化方法研究,提出并发展了计算机软件和通讯的设计和验证的数学理论。约克大学相关学术委员会认为“何积丰院士为软件工程在学术界及产业界的理论与实践相结合的研究奠定了良好的基础”,“在并发式、分布式和并行系统、程序设计微积分和数据精化、程序语言语义、编程统一理论、混合系统、面向对象的程序设计方法等领域取得了开创性的理论成果”。何积丰院士提出的采用“关系代数”作为程序和软件规范的统一数学模型,使得关系代数可用描写程序的分解和组合过程直接支持软件的开发。他研究的软硬件协同设计系统为减少系统芯片时间和降低成本提供了有益的方法。何积丰院士因此被英国约克大学赞誉为“世界一流的计算机科学家”。
约克大学是英国最好的大学之一,其计算机学科处于世界领先地位。约克大学每年都向各国对各个领域有重大贡献的学者、专家授予荣誉学位。此次学位授予典礼之前,约克大学曾向中国国家纳米科技指导协调委员会首席科学家、中国国家纳米科技中心主任白春礼教授以及中国智能CAD和计算机美术领域的开拓者潘云鹤教授荣誉博士学位。此次与何积丰院士同时被授予约克大学荣誉博士学位的还有中国卫生部部长、中国科学院副院长陈竺,原教育部副部长、中国工程院院士韦钰教授。