何积丰

✍ dations ◷ 2025-07-18 10:27:12 #何积丰

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

相关

精神药物精神药物（英语：psychoactive drug），又称精神药品（psychopharmaceutical，或psychotropic）。有些精神药品具有医疗和科学价值。一种化学物质的概称，这些物质能够穿越血脑屏障，直接作用
品牌产品 · 定价 · 分销服务 · 零售 · 宣传品牌管理 · 大客户营销营销道德 · 营销效果营销调查 · 市场调查市场划分 · 营销战略市场优势 · 操
知识表示知识表示法（知识重呈／知识表现）是认知科学和人工智能两个领域共同存在的问题。在认知科学里，它关系到人类如何储存和处理资料。在人工智能里，其主要目标为储存知识，让程式能够处
无套性交无套性交（bareback，简称BB），意思为不戴安全套而进行的进入性性行为，泛指任何不安全的性行为。在艾滋病于1980年代被发现以前，一些与同性交好的男性（MSM）肛交时并没有口头上制定佩带
突厥语大词典突厥语大词典（阿拉伯语：ديوان لغات الترك‎，Dīwān Luğāt al-Turk）是一部成书于1070年代的以阿拉伯语注释突厥语词汇的词典，由喀喇汗王朝语言学家麻赫穆德·喀
阻燃剂阻燃剂（Fire retardant）是除了水以外，其他所有具有降低燃料的可燃性或延迟燃烧的物质之总称。阻燃剂通常都是利用化学原理产生作用，但也有少数利用物理方式达到灭火目的的阻燃剂
内燃机内燃机（英语：Internal combustion engine，缩写为ICE）是热机的一种，能将燃料的化学能转化动能。一般的实现方式为，燃料与空气混合燃烧，产生热能，气体受热膨胀，通过机械装置转化为机械
麦片燕麦片（英语：Oatmeal），又称麦片或麦皮，是由燕麦做成的食品。由于麦片食品的制作过程简单，而且省时，有些种类的麦片只要经过开水冲泡就可以食用，所以受到了许多人欢迎。燕麦在西方饮
英属印度陆军First World War: ~1,750,000英属印度陆军或称英属印度军，简称英印军（英文：British Indian Army），正式名称是印度军（英文：Indian Army）是英属印度时期（1858年－1947年）的英属印度武装部
M-H培养基M-H培养基（Müller-Hinton agar）是一种微生物培养基，应用于检测微生物对于抗生素的抗性。此外，这种培养基还可用于筛选奈瑟氏菌属（Neisseria）以及Moraxella（英语：Moraxella）属的物种