澳门皇冠金沙网站,【官方网站】

教师登录 工大主页 中文 / ENGLISH
站内搜索:
通知公告 当前位置: 澳门皇冠金沙网站  资讯中心  通知公告

学术报告信息

澳门皇冠金沙网站:2011-01-10  

一、时 间: 2011年01月10日(周一) 9:00-11:00
  二、地 点:校学术活动中心二楼小报告厅
  三、报告人:何积丰 教授 中国科学院院士
  四、单 位:华东师范大学
  五、题 目:物联网系统中的App
  六、报告人概况:
  何积丰,中国科学院院士,华东师范大学终身教授、App学院院长。国际知名的计算机科学家,国家自然科学基金委“可信App基础研究”重大研究计划首席科学家;科技部“海量信息的协同性和可生存性的理论与实践研究”973项目首席科学家,联合国大学国际App技术研究所高级研究员,英国牛津大学客座教授,英国牛津大学计算实验室高级研究员,国际形式化工程协会主席,上海嵌入式系统研究所所长。
  两度获最高科研奖——英国先进科技女皇奖。提出数据精化完备理论、程序分解算子、关系程序设计语言、非确定性数据流的数学模型和代数定律等主要成就,被欧洲App界权威人士赞为App设计技术上的一座里程碑。国际计算机科学界誉其为面向模型App开发方法的奠基人。英国科学技术委员会赞誉道:“何积丰的研究工作是牛津计算实验室过去十五年所获成就的驱动力”。2002年,独立完成的研究成果“设计严格安全App的完备演算系统”获国家自然科学二等奖。2005年,在高可信技术方面的突出成就当选中国科学院院士。 
  主要研究领域: 高可信与信息安全理论、形式化方法、并发程序设计理论、嵌入式系统设计方法和工具、软硬件混成系统协同设计、计算机App与理论。

                                                                    2011年1月10日

XML 地图 | Sitemap 地图