何积丰

✍ dations ◷ 2025-08-08 14:21:00 #何积丰

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

相关

红斑性狼疮红斑狼疮（Lupus erythematosus）为一系列自体免疫性疾病的统称，即免疫系统非正常地攻击自身正常组织。症状可能会发生于全身各处，包含关节、皮肤、肾、血球、心脏，以及肺。最常见
U00-U99ICD-10 第二十二章：特殊目的代码，即国际疾病与相关健康问题统计分类第十版最后一个代码分类。是WHO特别设立、为一些因临时突发性疾病及事件余留的代码区域，以便于对突发事件进
HCG试验hCG试验（hCG pregnancy strip test）是利用检验人绒毛膜促性腺激素的方式，判断是否有怀孕的试验（妊娠试验）。hCG（人绒毛膜促性腺激素）是胚胎受精后立刻就会分泌的激素，之后也会由胎
文化演化文化演化（英语：Cultural Evolution）是用生物演化的概念来描述人类（及其他动物）的文化和社会的历史演变及地区差异。主要的概念是文化可以透过学习而传播（类似基因遗传），而且不同的文
piRNApiRNA全名Piwi-interacting RNA，是一类小型非编码RNA分子，长度大约是29到30个核苷酸。在许多动物（包括无脊椎动物）的生殖腺中都有被发现，并且可以和Piwi蛋白结合形成piRNA复合物（p
巴黎证券交易所坐标：48°52′09″N 2°20′29″E / 48.86917°N 2.34139°E / 48.86917; 2.34139巴黎泛欧交易所（Euronext Paris），即原巴黎证券交易所，是法国最大的证券交易所，位于巴黎第二区，成
戴高乐夏尔·安德烈·约瑟夫·马里·戴高乐（法语：Charles André Joseph Marie de Gaulle，1890年11月22日－1970年11月9日）是法国军事家、政治家，曾在第二次世界大战期间领导自由法国运动
第三种性别非二元性别（英语：Non-binary gender）、性别酷儿（英语：genderqueer）和X性别（日语：Xジェンダー）是指一系列不完全是男性或女性的性别认同，这些身份在男性或女性的分类以外。非二元性别可
大曼彻斯特都会区大曼彻斯特（郡）（英语：Greater Manchester），英国英格兰西北部的都市郡，包含了英国最大的城市群之一，10个都市自治市。曼彻斯特郡是因为《1972年地方政府法案》而在1974年4月1日成立。
φ键φ键由两个f轨道六重交叠而成，电子云以“面对面”的形式叠加，所形成的分子轨道称为φ轨道。由于δ键的存在，理论化学家推测会有由两个f轨道叠加形成的φ键。2005年化学家声称已