通知公告

当前位置: 首页 > 学院要闻 > 通知公告 > 正文
分类

学术报告信息

一、时 间: 2011年01月10日(周一) 9:00-11:00

二、地 点:校学术活动中心二楼小报告厅

三、报告人:何积丰 教授 中国科学院院士

四、单 位:华东师范大学

五、题 目:物联网系统中的软件

六、报告人简介:

何积丰,中国科学院院士,华东师范大学终身教授、软件学院院长。国际知名的计算机科学家,国家自然科学基金委“可信软件基础研究”重大研究计划首席科学家;科技部“海量信息的协同性和可生存性的理论与实践研究”973项目首席科学家,联合国大学国际软件技术研究所高级研究员,英国牛津大学客座教授,英国牛津大学计算实验室高级研究员,国际形式化工程协会主席,上海嵌入式系统研究所所长。

两度获最高科研奖——英国先进科技女皇奖。提出数据精化完备理论、程序分解算子、关系程序设计语言、非确定性数据流的数学模型和代数定律等主要成就,被欧洲软件界权威人士赞为软件设计技术上的一座里程碑。国际计算机科学界誉其为面向模型软件开发方法的奠基人。英国科学技术委员会赞誉道:“何积丰的研究工作是牛津计算实验室过去十五年所获成就的驱动力”。2002年,独立完成的研究成果“设计严格安全软件的完备演算系统”获国家自然科学二等奖。2005年,在高可信技术方面的突出成就当选中国科学院院士。

主要研究领域: 高可信与信息安全理论、形式化方法、并发程序设计理论、嵌入式系统设计方法和工具、软硬件混成系统协同设计、计算机软件与理论。

2011年1月10日

上一条:关于2011—2012学年第一学期期末考试及教学管理信息系统关闭的通知 下一条:关于2011—2012学年第一学期期末考试及教学管理信息系统关闭的通知

关闭