何积丰

✍ dations ◷ 2024-07-03 09:23:25 #何积丰

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

相关

背背是指人体躯干的后方部分，从臀部上方一直延伸到肩膀以及脖子。它的高度由脊椎决定，而宽度则取决于肋骨及肩胛骨。脊椎贯穿其中，以让神经能够传导至下半身。人体背部中央最明显
原发病例指示病例（英语：index case），又称为原发病例（英语：primary case），俗称零号病人或零号感染源（英语：patient zero），在流行病学调查中是指在一定人群中的最初的病例。指示病例可能表示疾病的
海蜇海蜇（学名：Rhopilema esculentum），古称瑝鱼，又名红蜇、面蜇、鲊鱼，是生长在海洋中的大型暖水性钵水母纲动物。海蜇在热带、亚热带及温带沿海都有广泛分布，在中国为可供食用的水母种
牙桥牙桥（英语：Dental Bridge）是一种固定假牙，弥补缺失的牙齿。缺齿位置的假牙借助相邻的牙齿制作的牙套固定，由于两旁的牙齿充当桥墩的角色，而连接的假牙则为桥面，所以称为牙桥。牙桥
军事工程军事工程（Military engineering）可以大致定义为设计及建立军事设施及设备，维持军事运输及通讯的艺术、工程及实务。军事工程也要负责军事战术的后勤。现代的军事工程和土木工程
接合接合（英文：Conjugation，又译结合），又称为接合作用、细菌接合，是发生于原生动物间的现象，指的是两个细菌之间发生的一种遗传物质交换现象，属于细菌有性生殖的一个重要阶段。在接合现
子房子房是被子植物生长种子的器官，位置不定，依和雌蕊的相对位置可分为上位花、下位花或是周位花。一般略为膨大。子房里面有一至多室，每室内含有一至多个胚珠，胚珠受精后可以发育为
恐水症狂犬病（拉皮斯病，俗称疯狗症，字根来自拉丁语：rabies，意为“疯狂”）是一种由狂犬病病毒引起之人畜共患病，可于恒温动物身上造成严重脑炎。没有接受疫苗免疫的感染者，当神经症状出现后
日本航空123号班机空难日本航空123号班机空难（日语：日本航空123便墜落事故／にほんこうくう123びんついらくじこ Nihon kōkū 123 bin Tsuiraku Jiko ?），发生于1985年8月12日，为世界上涉及单一飞机的
大波士顿区大波士顿是指马萨诸塞州紧靠波士顿的地区。都会区总人口约440万，列美国第11位。人口普查办公室按照美国行政管理和预算局的基于核心的统计区域（英语：Core Based Statistical Ar