何积丰

✍ dations ◷ 2025-06-07 09:03:06 #何积丰

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

相关

苯二氮䓬类药物依赖性苯二氮䓬类药物的依赖性或苯二氮䓬类药物成瘾指的是当一个人表现出以下症状中一个或多个：耐药性，戒断症状，寻求药物使用行为（例如不顾有害后果持续使用），和适应药物使用的不良模式
雀麦花叶病毒科雀麦镶嵌病毒科(Bromoviridae)是病毒的一个科，包括下面五个属
易忽略疾病被忽略的热带疾病 (Neglected Tropical Diseases，简称NTD) 是一类在发展中地区（如漠南非洲、东南亚及拉丁美洲）的低收入人群中，常见的由许多种不同疾病组成的热带感染疾病。这些
西半球西半球是地球上本初子午线以西，180度经线以东的半球。由于欧洲及非洲的西部在西经，为避免被本初子午线分割，西半球及东半球的分界线有时也被定义为西经20°及东经160°。依照此
油红O油红O，或称油剂红27，苏丹红5B（C26H24N4O）是一种重氮脂肪染色剂，用于染中性的脂质冰冻切片和一些脂蛋白的石蜡切片。正常情况下为红色粉末状。油红O是苏丹染剂之一，很大程度上可以
南高加索语族南高加索语系又称卡特维尔语系（格鲁吉亚语：ქართველური ენები），世界上主要语系之一，属于高加索诸语言。语言人口约520万，主要分布于格鲁吉亚，也有少量分布在土耳其、
罗卡蒙菲纳罗卡蒙菲纳（意大利语：Roccamonfina），是意大利卡塞塔省的一个市镇。总面积30平方公里，人口3686人，人口密度122.9人/平方公里（2009年）。ISTAT代码为061070。
连二亚硫酸钠连二亚硫酸钠（sodium dithionite），又称低亚硫酸钠、保险粉。分子式Na2S2O4，分子量174.11。是一种强还原剂。外观为白色砂状结晶物或淡黄色粉末，略带有硫的味道，熔点52-55℃（分解），沸
聚丙烯酰胺聚丙烯酰胺（polyacrylamide，可缩写为PAM或PAAM），化学式-nCONH2-，是由丙烯酰胺单体聚合而成的聚合物。丙烯醘胺需要用良好药品实验研究规范（Good Laboratory Practices, GLP）处理以
精子捐赠捐精是一种捐赠行为，指男性通过医疗机构，将自己的精子送赠妻子以外的女性，捐精过程男女之间不发生性行为。捐精可能在心理上有困难，因为有不少道德问题尚未解决，例如捐精所生的子