何积丰

✍ dations ◷ 2025-10-31 04:00:37 #何积丰

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

相关

凤梨蛋白酶菠萝蛋白酶（英语：Bromelain，也简称为菠萝酶、菠萝酶、菠萝酵素）可以意指两种物质，其中一个是狭义指自菠萝科植物榨取出的蛋白酶，另一个则是广义指从榨取物中的其他成分与这些蛋白
生育权生育权（英语：reproductive rights），又称生殖权利，是一项基本人权。1968年联合国国际人权会议通过的《德黑兰宣言》提出“父母享有自由负责决定子女人数及其出生时距之基本人权”
tRNA转运核糖核酸（Transfer RNA），又称传送核糖核酸、转移核糖核酸，通常简称为tRNA，是一种由76-90个核苷酸所组成的RNA，其3'端可以在氨酰-tRNA合成酶催化之下，接附特定种类的氨基酸。转
希尔德里克一世希尔德里克一世（法语：Childéric Ier，440年－481年6月26日），自457或458年起任萨利昂法兰克人国王。他的名字来自法兰克语hild-“战斗”和-rik“强大”，Childericus是其拉丁文形
复视复视（英语：Diplopia）是把一个物体看成两个的视功能障碍。当用两眼同时视物时，虽然在视网膜上形成的物象也只是二维空间的平面象，但由于两眼球的位置不同，左右稍为分开，看物体时的角
心因性暴食症神经性暴食症（英语：Bulimia nervosa）又译心因性暴食症或者神经性贪食症，一般简称为暴食症，是一种进食障碍，其特征为患者会尝试在暴饮暴食（英语：Binge eating）后试图进行净空行为。暴
识字识字（英语：literacy），有时称为读写能力，是指人阅读和书写文字的基本能力。一般是指读书和写字的能力水准到达可以沟通的能力。不识字的人称为文盲。根据联合国教科文组织的定义，识
GPCR结构 / ECODG蛋白偶联受体（G Protein-Coupled Receptors，GPCRs），是一大类膜蛋白受体的统称。这类受体的共同点是其立体结构中都有七个跨膜α螺旋，且其肽链的C端和连接第5和第6个
猎鹰5号猎鹰5号运载火箭为一两节式不可重复使用的运载火箭，由SpaceX研发与制造。第一节有五个默林引擎，第二节则有一个，都以煤油及液态氧为燃料，此火箭型号最终被取消，没有任何一枚猎鹰5
PBS公共广播电视公司（英语：Public Broadcasting Service），也译作“美国公共电视网”或“美国公共电视台”，是美国公共电台和电视台节目发行渠道。它是一家非盈利组织，同时也是在美国