何积丰

✍ dations ◷ 2024-12-22 21:32:26 #何积丰

何积丰（1943年8月－），计算机科学家，中国科学院院士。现任华东师范大学软件学院院长，华东师范大学终身教授、博士生导师。上海嵌入式系统研究所所长。研究方向为形式化方法；高可信与信息安全；并发程序设计理论；嵌入式系统设计方法和工具；软硬件混成系统协同设计等。1943年8月生于上海市。他是上海最早从事计算机科学研究的人员之一，曾先后被派往斯坦福大学和牛津大学研修，取得了丰硕的成果，两次获得英国女皇奖。他在国际刊物和国际会议上发表论文140余篇，其论文先后被SCI摘引540次，其研究成果在国际计算机科学领域产生重要影响。目前，他主持国家“973”项目下的课题和教育部重点项目多项。 1965年毕业于复旦大学数学系。1965年起在华东师范大学工作，先后任助教、讲师，1986年晋升为教授。1980年至1981年在美国斯坦福大学、旧金山大学做访问学者；1983年至1998年在英国牛津大学计算机实验室任高级研究员，1998年起任联合国大学国际软件技术研究所高级研究员。2001年以来，先后担任四个国家和上海市科研项目主持人。曾被授予“国家级有突出贡献中青年专家”称号，先后获原国家教委“优秀科技成果”奖、电子工业部科技成果一等奖、其“设计严格安全软件的完备演算系统”先后获得上海市科学技术进步一等奖和国家自然科学二等奖。2002年起任华东师范大学软件学院院长，2002年成为华东师范大学首批终身教授。2005年底，他当选中国科学院院士。2007年被国家自然科学基金委聘为“可信软件基础研究”重大研究计划的首席科学家，2008年又被国家科技部聘为“海量信息的协同性和可生存性的理论与实践研究”（编号：2005CB321900）项目首席科学家，同年7月又被聘为上海市嵌入式工程中心首席科学家。近年来，他先后获得国家自然科学二等奖，上海市首届“五一”劳动奖章、上海市劳动模范、上海市“教学名师”和上海市“优秀共产党员”等称号，入选2005年感动上海的新闻人物。；2006年荣获了“上海市五一劳动奖章”、“上海市优秀共产党员”以及“上海市教学名师”称号；2007年被评为“上海市劳动模范”。

相关

酒精搓手液酒精搓手液，又名搓手液、免冲水洗手液、免洗洗手液等，是一种用作洗手的液体。酒精搓手液的主要成分为酒精，用作杀菌。由于酒精搓手液无需用水冲洗，所以可以用于外出时清洁双手之
网络成瘾症网络成瘾症（英语：Internet addiction disorder，缩写作IAD），亦作不当网络使用（problematic Internet use）或病态网络使用（pathological Internet use），简称网瘾，泛指对于互联网的过度使
国家象征美国国家象征（英语：National Symbols of the United States）指的是那些常常被使用作为美利坚合众国象征的事物。本文中罗列了多种可用作美利坚合众国象征的事物，部分由《美国法
斯德哥尔摩综合征斯德哥尔摩综合征（英语：Stockholm syndrome；瑞典语：Stockholmssyndromet）又称为人质情结、人质综合征，是一种心理学现象，是指被害者对于加害者产生情感，同情加害者、认同加害者的某
阿拉伯语阿拉伯语（اَلْعَرَبِيَّةُ‎ al-ʻarabiyyah 或者 عربي/عربى‎ ʻarabī ），中文也称阿拉伯文，是除了英语和法语之外最多国家使用的官方语言。阿拉伯语
发音器官人的发音器官或称言语器官是用来发声的器官。包括呼吸器官、喉头、口腔和鼻腔。可以细分为：
破坏性创新破坏性创新（英语：Disruptive innovation），或是被称为“破坏式创新”与“破坏式技术”，早期也被翻译为“颠覆式创新”或“颠覆式技术”，是由哈佛大学教授克莱顿·克里斯坦森（英语：Cla
诺贝尔物理奖诺贝尔物理学奖（瑞典语：Nobelpriset i fysik）是瑞典皇家科学院为表彰在物理学作出最杰出的贡献，自1901年起一年一度颁发的奖项；奖金由诺贝尔基金会发出。奖项是阿尔弗雷德·诺贝
杜夫马尔科姆之子杜布（中世纪盖尔语：Dub mac Maíl Coluim；现代盖尔语：Dubh mac Mhaoil Chaluim；？-967年），有时被简称为杜夫王（Duff MacMalcolm），绰号慷慨者（Dén）和黑发（Niger），是962年-967年在
阿兰·卡尔庞捷阿兰·卡尔庞捷（法语：Alain Carpentier，1933年8月11日－)，生于图卢兹，法国外科医生，美国胸外科协会主席。1980年在皮埃尔和玛丽·居里大学任名誉教授时，他发表了关于二尖瓣修复的关键