何积丰

✍ dations ◷ 2025-02-23 14:23:19 #何积丰

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

相关

鸟类鸟是鸟纲（学名：Aves）动物的通称，是唯一存活至今的恐龙，现代所有鸟类在生物学上也被分类为鸟形恐龙（即鸟翼类）的一部分；鸟纲的全体成员均为两足、恒温、卵生、身披羽毛且色彩鲜艳各异
惧旷症广场恐怖症是一种焦虑症，其特征是人们认为环境不安全并且不容易逃离而产生焦虑症状。这些情况可能包括开放空间、公共交通、商场，或仅仅是在自家外，在这些情况下可能会导致恐
撷取信息抽取（Information Extraction，简称IE，又译信息截取技术）主要是从大量文字数据中自动抽取特定消息（Particular Information），以作为数据库访问（Database Access）之用的技术。信息
折衷主义折衷主义是指在途径或操作运用上，以不同的理论、方法、风格，拣选其中最佳要素，应用在新的创作中。在艺术或建筑批评的特定脉络场合，意指挪借多种视觉资源来创作新作品。折衷主义
乳糜微粒乳糜微粒（英语：Chylomicron，缩写CM）是血浆五种主要脂蛋白之一（其余为VLDL、IDL、LDL和HDL），也是其中体积最大和密度最小的一种。它在小肠上皮细胞的内质网和高尔基体上装配而成，主要
道金斯克林顿·理查德·道金斯，FRS, FRSL（英语：Clinton Richard Dawkins，1941年3月26日－），生于内罗毕，英国演化生物学家、动物行为学家、科学传播者、作家，1990年任牛津大学动物学正教授，199
CO碳－氧键是指碳原子和氧原子之间形成的共价键，这是有机化学和生物化学中最常见的化学键之一。氧原子具有6个价电子，倾向于与碳原子共用两个电子形成化学键，剩下的四个非键电子形
浪漫主义音乐浪漫时期的音乐是维也纳古典乐派的延续和发展，是西方音乐史上的一种音乐风格或者一个时代。浪漫主义主要用于描述1830年—1850年间的文学创作，以及1820年—1900年间的音乐创作
普罗旺斯-阿尔卑斯-蓝色海岸普罗旺斯-阿尔卑斯-蓝色海岸（法语：Provence-Alpes-Côte d'Azur）是法国东南部的一个大区，南邻地中海。面积31,400平方公里，人口4,506,151人。下辖上普罗旺斯阿尔卑斯省（04）、上阿尔
舌形动物类舌形动物类（学名：Pentastomida），又称五口动物类，是动物界的一个分类。属于无脊椎动物，介乎于环节动物和节肢动物之间，均为寄生性动物。其特征是体软、扁而长，无色，透明，无足。身长从数