理学院数理讲坛（2012年第十讲）

报告题目：连接连续世界和离散世界
报 告 人：何积丰院士（华东师范大学）
报告地点：理学院311报告厅
报告时间：2012年3月28日15:30-16:30
 
简历：何积丰院士是我国著名计算机科学家和数学家。在形式化方法、高可信与信息安全、并发程序设计理论、嵌入式系统设计方法和工具及软硬件混成系统协同设计等方面具有非常深厚的造诣。已发表重要学术论文140余篇，并被国际同行广泛引用，其学术成果在国际学术界有重要影响。曾获得英国女皇奖（两次）、国家教委“优秀科技成果”奖、电子工业部科技成果一等奖、上海市科学技术进步一等奖和国家自然科学二等奖等等。何院士是国家自然科学基金委“可信软件基础研究”重大研究计划的首席科学家，科技部“海量信息的协同性和可生存性的理论与实践研究”项目首席科学家，上海市嵌入式工程中心首席科学家等。
 
欢迎有兴趣的师生参加。   
 
 
 
何积丰，计算机科学家，数学家，中国科学院院士。现任华东师范大学软件学院院长，华东师范大学终身教授、博士生导师。上海嵌入式系统研究所所长。研究方向为形式化方法；高可信与信息安全；并发程序设计理论；嵌入式系统设计方法和工具；软硬件混成系统协同设计等。
 
2001年以来，先后担任四个国家和上海市科研项目主持人。曾被授予“国家级有突出贡献中青年专家”称号，先后获原国家教委“优秀科技成果”奖、电子工业部科技成果一等奖、其“设计严格安全软件的完备演算系统”先后获得上海市科学技术进步一等奖和国家自然科学二等奖；2006年荣获了“上海市五一劳动奖章”、“上海市优秀共产党员”以及“上海市教学名师”称号；2007年被评为“上海市劳动模范”。
 
他是上海最早从事计算机科学研究的人员之一，曾先后被派往斯坦福大学和牛津大学研修，取得了丰硕的成果，两次获得英国女皇奖。他在国际刊物和国际会议上发表论文140余篇，其论文先后被SCI摘引540次，其研究成果在国际计算机科学领域产生重要影响。目前，他主持国家“973”项目下的课题和教育部重点项目多项。2005年底，他当选中国科学院院士。2007年被国家自然科学基金委聘为“可信软件基础研究”重大研究计划的首席科学家，2008年又被国家科技部聘为“海量信息的协同性和可生存性的理论与实践研究”（编号：2005CB321900）项目首席科学家，同年7月又被聘为上海市嵌入式工程中心首席科学家。近年来，他先后获得国家自然科学二等奖，上海市首届“五一”劳动奖章、上海市劳动模范、上海市“教学名师”和上海市“优秀共产党员”等称号，入选2005年感动上海的新闻人物。