何积丰

✍ dations ◷ 2025-09-19 11:39:50 #何积丰

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

相关

肺循环肺循环（又称为小循环）是心血管循环系统中，携带缺氧血离开心脏，进入肺部进行气体交换后，将含氧血带回心脏的部分。其他部分的血液循环则称为体循环。其循环式如下：右心房→右心室→
每搏输出量每搏输出量（stroke volume）是指一次在心搏中由一侧心室射出的血量，简称搏出量。人体左、右心室的搏出量基本相等，一个正常成年人在安静时的搏出量一般在60～80毫升之间。搏出量等
骨髓移植骨髓移植（学名：hematopoietic stem cell transplantation，缩写：HSCT）是透过静脉注射正常骨髓细胞至白血病或再生不良性贫血等血液难病患者的治疗。骨髓移植所使用的造血干细胞，除
值域在数学中，函数的值域（英语：Range）是由定义域中一切元素所能产生的所有函数值的集合。有时候也称为函数的像。给定函数 f : A
埃及第四王朝第八第十第四王朝是古埃及古王国时期第二个王朝，古代埃及文明在这一时代达到空前的高度，例如最大的金字塔胡夫金字塔就是这个时代的胡夫法老建造的。因此第四王朝被认为是古埃
酶动力学酶动力学，又被称为酶催化动力学、酶反应动力学或酵素动力学，是研究酶催化的化学反应速率的学科。酶动力学对于某一特定酶的研究，可以提供许多重要信息。如该种酶的催化机理、在
月球地质年代月球地质年代在科学界划分为五个纪（英语：period）：前酒海纪、酒海纪、雨海纪（又细分为早雨海世、晚雨海世）、爱拉托逊纪和哥白尼纪。地质年代的时间分界根据月面上的重大陨石撞击事
紫球藻紫球藻（Porphyridium cruentum）是一种红藻门红藻亚门单细胞藻类紫球藻属的藻类植物，是红藻门一种比较原始的品种，能够产生许多生物活性物质，如藻红蛋白、藻胆蛋白、多不饱和脂肪
锔5f7 6d1 7s22, 8, 18, 32, 25, 9, 2蒸气压主条目：锔的同位素锔（Curium）是一种放射性超铀元素，符号为Cm，原子序为96，属于锕系元素，以研究放射性的科学家玛丽·居里（Marie Curie）和其丈
夫琅禾费衍射在光学上，夫琅禾费衍射（以约瑟夫·冯·夫琅和费命名），又称远场衍射，是波动衍射的一种，在场波通过圆孔或狭缝时发生，导致观测到的成像大小有所改变，成因是观测点的远场位置，及通过圆孔