何积丰

✍ dations ◷ 2025-04-04 07:25:39 #何积丰

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

相关

克里斯蒂安·亨德里克·珀森克里斯蒂安·亨德里克·珀森（Christiaan Hendrik Persoon，1761年2月1日－1836年11月16日）为真菌分类学家。
法律经济学法律经济学（law and economics）或称法律的经济分析（economic analysis of law），是由美国学者在1960年代发展出的跨领域交叉学科。主要是以经济学的效率观点，分析法律的形成、架构
派地亚派地亚（英语：Paideia）古典希腊与希腊化文化的教育和训练体系，包括体操、语法、修辞、音乐、数学、地理、自然史与哲学等课程。在早期基督教时代，又称为人文学，成为基督教高等学府
克鲁什维察克鲁什维察（波兰语：Kruszwica）是波兰的一座城市。至2004年有人口9,412人。坐标：52°41′N 18°18′E / 52.683°N 18.300°E / 52.683; 18.300
南猿南猿，又称南方古猿类，是指两个非常接近的人亚族：南猿的祖先有可能是440万年前的地猿。人属有可能是于350万年前由南猿的祖先，即肯尼亚平脸人演化而来。另一个可能性是人属直接由
莫利塞莫利塞（意大利语：Molise，发音：）是意大利中部的一个大区，是意大利第二小的大区。大区的前身是阿布鲁齐莫利塞区（直至1963年前与阿布鲁齐大区合并）的一部分，现时已分成两个个别的大区。
优碘聚维酮碘（英语：Povidone-iodine，简写PVP-I），又称优碘（英语：Excellent-iodine）、中国大陆称碘伏，是用于手术前后皮肤消毒的杀菌剂。它可以用于消毒患者的皮肤和医护人员的手，用于轻微的
零号病人指示病例（英语：index case），又称为原发病例（英语：primary case），俗称零号病人或零号感染源（英语：patient zero），在流行病学调查中是指在一定人群中的最初的病例。指示病例可能表示疾病的
坦索罗辛坦索罗辛（Tamsulosin），药品名称是Flomax等，可以治疗有症状的良性前列腺肥大症（BPH）、慢性前列腺炎/慢性骨盆疼痛综合症，也可以帮助肾结石排出，目前的证据显示对较大的肾结石效果较好
梁栋材梁栋材（1932年5月29日－），广东广州人，中国分子生物物理学家。1955年毕业于中山大学化学系。1960年在苏联科学院元素有机化合物研究所研究生毕业，获副博士学位。1985年当选为世界科