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