“校庆110周年系列学术活动”之六十七:中国科学院何积丰院士将来我校作学术报告

发布者:系统管理员发布时间:2012-07-04浏览次数:0

       应我校计算机科学与工程学院邀请,中国科学院院士何积丰教授将来我校作学术报告,具体事宜公告如下:

题目:智慧城市建设中的物联网
时间:2012年7月6日 8:30—10:00
地点:专家楼会议厅
主办:计算机科学与工程学院
【何积丰院士简介】

 

        中国科学院院士,于1943年8月出生于上海市,华东师范大学教授。是联合国大学国际软件技术研究所高级研究员,英国牛津大学客座教授,牛津大学计算实验室高级研究员,曾两度获最高科研奖——英国先进科技女皇奖。被国际计算机科学界誉为面向模型软件开发方法的奠基人。他的学术成就被欧洲软件界权威人士赞之为软件设计技术上的一座里程碑。何院士于1986年和C. A. R. Hoare提出了“程序分解算子”,并将规范语言与程序语言看成是同一类数学对象。提出了采用“关系代数”作为程序和软件规范的统一数学模型。在数据精化方面,给出了处理非确定性程序语言数据精化的完备方法。1995年,在总结了多类程序语言语义理论和方法的基础上,与C. A. R. Hoare提出了程序设计统一理论和连接各类程序理论的数学法则。还提出了用形式化的界面理论沟通几种程序语言,以及非确定性数据流的数学模型及代数定律。

XML 地图 | Sitemap 地图