何积丰

✍ dations ◷ 2025-08-29 18:27:59 #何积丰

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

相关

结核分枝杆菌结核杆菌，即结核分枝杆菌（学名：Mycobacterium tuberculosis）是专性需氧微生物，1882年德国微生物学家罗伯·柯霍在柏林宣告它是结核病的病原体。他凭着此发现获得了1905年诺贝尔生
可裂变物质在核工程中，可裂变物质指的是有能力维持核裂变的链式反应的一种物质。根据定义，可裂变物质可以通过任意能量的中子来维持链式反应，而主要的中子能量可能是慢中子或者快中子。这
巴库利德斯巴库利德斯（英语：Bacchylides /bəˈkɪlᵻˌdiːz/，古希腊语：Βακχυλίδης），约活动于公元前5世纪前后。古希腊抒情诗人之一，他常于进行抒情表达。与品达齐名，他的生平事迹
史坦利·布鲁希纳史坦利·布鲁希纳（英语：Stanley B. Prusiner，1942年5月28日－），美国神经学家和生物化学家，加州大学旧金山分校神经退行性疾病研究所所长。发现朊病毒——一类主要或仅由蛋白质组成的
退伍军人节老兵节，退伍军人节或退伍军人纪念日（Veterans Day）是美国联邦假日，定于11月11日。这是美国比较重要的一个全国性节日，人们借此向退伍军人、特别是参加过历次战争的退伍军人表达敬
完成时完成体（perfect aspect）是唤起听者对一个行动所产生的结果而非行动自身的注意的一种语法体，也可以当作一种时态。这必须区分于完整体（perfective aspect），它把一个动作视为没有内
西德尼·奥尔特曼西德尼·奥尔特曼（英语：Sidney Altman，或译奥特曼，1939年3月7日－），加拿大分子生物学家，现任耶鲁大学分子、细胞和发育生物学及化学斯特林教授。1989年，他和托马斯·切赫因为对RNA的催
原始社会原始社会根据马克思历史唯物主义，是人类社会发展的第一阶段，到目前为止，还没有发现世界上有哪个民族没有经历过原始社会。人类出现，原始社会也就产生了。但是它的消亡则各地参差
卡罗莱纳死神辣椒卡罗莱纳死神辣椒（英语：Carolina Reaper）2013年起是金氏纪录最辣辣椒，龙之气息辣椒与Pepper X辣椒虽宣称超过卡罗莱纳死神，但未被金氏纪录所承认。根据由温斯洛普大学（英语：Winthro
周　琪周琪（1970年4月－），山东莱州人，生于黑龙江哈尔滨，中国干细胞和发育生物学家，中国科学院院士。1991年毕业于东北农业大学生物工程系，1996年取得东北农大理学博士学位。担任中国科学院