何积丰

✍ dations ◷ 2025-01-23 03:24:54 #何积丰

何积丰（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年被评为“上海市劳动模范”。

相关

人类体质人类学文化人类学语言人类学分子人类学社会人类学考古学应用人类学民族志参与观察文化相对论文化 • 社会史前史 • 人类演化亲属婚姻 • 家庭物质文化种
圣安东尼奥圣安东尼奥（英语：San Antonio）位于美国得克萨斯州中南部，是美国得克萨斯州人口第二多的城市（排在休斯敦之后），同时也是美国人口第七多的城市。据2005年美国人口普查局估计，圣安东尼
罗马式艺术罗马式美术，亦作罗曼艺术（英语：Romanesque art），是指在11世纪至12世纪在欧洲流行的一种艺术风格，罗马式名字是19世纪人们对这种风格的称呼，意为“与罗马建筑相似”。是第一个可以真
航天器推进太空飞行器推进是任何加速太空飞行器和人造卫星的方法，目前已知具有许多方式，每一种方式都有弱点与优点。目前许多推进方式是采用火箭。某些发射方法不采用火箭或以火箭为辅助
泛植物界 (Archaeplastida)原始色素体生物（Archaeplastida）即泛植物，是真核生物的主要群体。包括红藻、绿藻、陆生植物（有胚植物狭义植物）及少量合称为灰胞藻的生物。除了狭义植物以外，这个组的其他生物只具
核酮糖-1,5-二磷酸羧化酶/加氧酶1,5-二磷酸核酮糖羧化酶／加氧酶（英语：Ribulose-1,5-bisphosphate carboxylase/oxygenase，通常简写为RuBisCO）是一种酶（EC 4.1.1.39），它在光合作用中卡尔文循环里催化第一个主要的碳
Fesub3/subC铁素体（α-Fe）针状铁素体（acicular α-Fe）奥氏体（γ-Fe）马氏体珠光体（88%铁素体，12%碳化三铁）贝氏体粒滴斑铁（珠光体及渗碳体的共晶　　　　混合物，含碳量4.3%）碳化三铁（Fe3C） β铁
文本文本文件一般指只有字符原生编码构成的二进制计算机文件，与富文本相比，其不包含字样样式的控制元素，能够被最简单的文本编辑器直接读取。由于结构简单，文本文件被广泛用于记录信
印度海岸防卫队云雀III型直升机印度海岸警卫队（ICG），印度四个武装部队的其中之一，其使命是守卫印度共和国的海上利益。印度海岸警卫队的组织类似于其他的印度武装部队。它按海岸警卫队法创建于
斯蒂芬斯蒂芬（英语：Stephen；约1092/1096年 –1154年10月25日)，有时被称为布卢瓦的艾蒂安（英语：Stephen of Blois; 法语：Étienne de Blois），是征服者威廉的外孙。他从1135年直到死亡为英格