何积丰

✍ dations ◷ 2025-06-27 20:16: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年被评为“上海市劳动模范”。

相关

药效学药物效应动力学（英语：Pharmacodynamics (PD) ），简称药效学，是药理学的一个分支，主要研究药物作用(action)与药理效应(effects)（即药物对机体的作用及作用机制(mechanism of action)
叙利亚面积以下资讯是以2019年估计国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2015年估计人类发展指数以下资讯是以2018年估计立
神圣罗马帝国神圣罗马帝国（德语：Heiliges Römisches Reich；拉丁语：Sacrum Romanum Imperium），1512年以后的全称为德意志民族神圣罗马帝国或日耳曼民族神圣罗马帝国（德语：Heiliges Römisches Re
普通语言学普通语言学又称做一般语言学，是对人类语言的看法和研究结果的理论概括，是研究语言的本质、发展和起源以及语言的类型和分类的语言学分支学科。普通语言学有广义和狭义之分。广
④ 北塞浦路斯面积以下资讯是以2011年估计家用电源国家领袖国内生产总值（国际汇率）以下资讯是以2014年估计立国历史北塞浦路斯土耳其共和国（Kuzey Kıbrıs Türk Cumhuriyeti，缩写为KKTC）通
大气光气辉（有时也称为夜辉）是在行星大气层中非常弱的发射光。在地球的大气层，这种光学现象导致在背向太阳的夜空即使在排除了星光和扩散的阳光，也不会完全黑暗。气辉现象是瑞典科学家
厚角组织厚角组织（英语：collenchyma）为活跃生长中的幼茎和叶提供机械性支持作用。厚角组织的结构跟薄壁组织相似，两者都是由活细胞组成的，但厚角细胞的细胞壁有些部分聚积了较多纤维素，使
FeIsub2/sub碘化亚铁是无机化合物，化学式为FeI2。红棕色三方晶体，空间群P 3m1，其中a = 0,404 nm，c = 0,675 nm，Z = 1。易溶于水。可形成FeI2·n H2O，其中n = 2, 4, 6, 9。在有机反应中作为催
假体腔动物假体腔动物(英文 : Pseudocoelomata)，外面以中胚层的纵肌为界，里面以内胚层的消化管壁为界，没有体腔膜，因而又称为原体腔或初生体腔。是动物界中最庞大、最为复杂的一大类群，包
印度交通运输印度交通运输包括铁路、公路（英语：Indian road network）、水路（英语：Inland waterways of India）、航空等方式，是印度经济的重要基础。近年来，尽管印度交通系统持续改善，但总体仍旧相