何积丰

✍ dations ◷ 2025-10-09 14:13:45 #何积丰

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

相关

喉头炎喉炎（Laryngitis）是描述喉部发炎的现象。喉为人体主要的发声构造，喉炎常见症状包含声音沙哑（英语：hoarse voice）、发烧、咳嗽、前颈疼痛，以及吞咽困难。症状通常会持续两周。喉炎可
固氮作用固氮作用（英语：Nitrogen fixation），简称固氮，指将空气中游离态的氮（氮气）转化为含氮化合物（如硝酸盐、氨、二氧化氮）的过程。可分为自然固氮以及人工固氮两种。自然固氮（Natural nitro
狭窄二尖瓣狭窄是一种较为常见的心瓣膜病。在正常情况下，二尖瓣在左心室舒张时打开，使血液从左心房流入左心室。患有二尖瓣狭窄症的病人二尖瓣在左心室舒张时不能够完全开放，使左心
伙友骑兵伙友骑兵（古希腊语：ἑταῖροι；hetairoi），又译伙伴骑兵或马其顿禁卫骑兵，伙友骑兵是马其顿军队中的精锐骑兵，源于马其顿王国的国王骑兵卫队，在腓力二世的扩充改良下，成为马其顿军
子宫颈原位癌原位癌（Carcinoma in situ），是已被发现有恶性肿瘤的特点，但还没有入侵其它组织的肿瘤。许多形式的癌症始于原位癌，但不能及早发现。原位癌的癌变仍然限于黏膜上皮层内或皮肤表皮
三体染色体三倍体症，又名三体综合征，是一种因为遗传基因失调而引起的染色体倍性现象，以致身体细胞分裂时，某一对染色体得到了三条，而不是正常的两条。三体综合征在不同的基因对出现，会
无性别厕所中性厕所（Unisex toilet，又称：无性别厕所、男女通用／共用厕所、男女共厕、家庭厕所、性别中立厕所或性别友善厕所等）是没有性别之分，供任何需要使用者使用的公共厕所。一些设为独
吞咽吞咽（swallowing、有时称为 deglutition ）是指物体从口腔移动到胃的过程。舌头往上抬的同时，食物便会被舌头推送进咽部，此时咽部的软颚便会往上提，鼻子的入口便会被封闭，以防止食
石蜡石蜡是固态高级烷烃混合物的俗名，分子式为CnH2n+2，其中n=20~40。石蜡可由天然或人造石油的含蜡馏分用冷榨或溶剂脱蜡、发汗等方法制得。石蜡通常是白色、有轻微气味的蜡状固体
阿尔及尔阿尔及尔（阿拉伯语：الجزائر‎；法语：Alger，柏柏尔语：ⴷⵣⴰⵢⴻⵔ）为阿尔及利亚首都及海港。现有人口三百万，大约占阿尔及利亚全国人口的十分之一。位于法国马赛西南805公里，北