何积丰

✍ dations ◷ 2025-04-25 01:25:33 #何积丰

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

相关

单链DNA病毒脱氧核糖核酸病毒（英语：DNA virus），又称DNA病毒，其遗传物质为DNA。一般为正链DNA病毒。医学导航: 病毒病病毒(蛋白质)/分类cutn/syst (hppv/艾滋病, 流感/疱疹/人畜共患)/人名体
布鲁诺布鲁诺（Bruno）是欧洲常见的姓氏及名字，可以指：
甲状腺功能减退甲状腺机能低下症（Hypothyroidism），又称作甲状腺功能减退症，或是简称甲减，是一个因甲状腺无法分泌足够的甲状腺激素的内分泌疾病。此病可以造成很多症状，像是畏寒、疲劳、便秘、抑
背景辐射背景辐射（英语：background radiation），又称本底辐射，是在环境中持续存在，可以是源自人为排放或自然存在的辐射，主要的来源有：大约有3%的背景辐射来自其他的人造来源，像是：意外的暴露在
褐藻门褐藻（学名：Phaeophyceae）是属较高等的多细胞藻类，属真核细胞生物，有1,500种左右，主要分布于大陆附近的水域，则淡水种罕见。褐藻纲外表从暗褐色的橄榄绿都有，其取决于褐藻素与叶绿素
亨利·贝克勒尔亨利·贝克勒尔（法语：Henri Becquerel，1852年12月15日－1908年8月25日），法国物理学家。因发现天然放射性现象，与居里夫妇一同获得1903年诺贝尔物理学奖。受伦琴发现X-射线的启发，贝克
哥布林哥布林（Goblin），或译作哥布灵、高扁、鬼怪、地精，是一种传说中的类人生物，一般都有长长的尖耳，鹰钩鼻和金鱼眼。哥布林有着暗绿色皮肤，有着红眼睛，身高在矮人到人类之间都有，个性贪婪
随笔集《随笔集》（法语：Les Essais）是法国哲学家蒙田的107篇随笔的文集，1580年出版，书名也译作试笔集、随想录。全书共107篇，以短文的形式谈论特定的话题，并引用古希腊、罗马的文学补强，开
亨利六世亨利六世（Henry VI，1421年12月6日－1471年5月21日）兰开斯特王朝的最后一位英格兰国王（1422年—1461年；1470年—1471年）。由于他的软弱，英格兰在亨利五世时代取得的丰硕战果丧失殆尽，且
拉斐尔·莫内欧何塞·拉斐尔·莫内欧·瓦勒斯（西班牙语：José Rafael Moneo Vallés，1937年5月9日－），西班牙建筑师，1996年普立兹克奖得主。罗马艺术国家博物馆，梅里达卡德纳尔贝鲁加广场市政厅，穆尔