何积丰

✍ dations ◷ 2025-05-16 03:04:22 #何积丰

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

相关

钙4s22, 8, 8, 2蒸气压第一：589.8 kJ·mol−1 第二：1145.4 kJ·mol−1 第三：4912.4 kJ·mol−1 （主条目：钙的同位素钙（Calcium）是一种化学元素。其化学符号是Ca，原子序数是20。钙
后口动物后口动物总门（学名：拉丁语：Deuterostomia）是动物中的一个总门，在真后生动物亚界的两侧对称动物分支中，和原口动物相对。后口动物和原口动物可以由胚胎发育相区分；在后口动物中，第一
冰雹雹或冰雹（英语：Hail）属于突发性天然灾害，是一种固态降水物，是圆形或圆锥形的冰块，由透明层和不透明层相间组成；直径一般为 5～50毫米，大的则可达到10厘米以上。冰雹是在对流云所形成的
高岭土高岭土（英语：Kaolinite），又称观音土、白鳝泥、膨土岩、斑脱石、甘土、皂土、陶土、白泥，是一种含铝的硅酸盐矿物，呈白色软泥状，颗粒细腻，状似面粉。其化学成分相当稳定，被誉为“万能
温耶温耶是土耳其的城镇，由奥尔杜省负责管辖，位于该国北部，距离首府奥尔杜76公里，面积440平方公里，处于海拔水平面，主要农产品是榛子，2010年人口114,408。
米德拉什"米德拉什"（或译作"米德拉西"、"密德拉西"，英语：Midrash），是犹太教对律法和伦理进行通俗阐述的宗教文献，为犹太法师知识的研究与犹太圣经的诠释。"米德拉什"是希伯来文מדרש的
密苏里密苏里州（英语：State of Missouri）是美国第24个州，一般被划分在中西部地区之内。州鸟是东蓝鸲，州歌“密苏里华尔兹”，州花为山楂花。密苏里州创建于1821年8月10日，属于路易斯安那购
复数N ⊆ Z ⊆ Q ⊆ R ⊆
感测器传感器（英语：Sensor）是用于侦测环境中所生事件或变化，并将此消息发送出至其他电子设备（如中央处理器）的设备，通常由敏感组件和转换组件组成。传感器是一种物理设备或生物器官，能够探
短篇小说短篇小说是一种文学作品，一般以万言左右为界限。虽然小说本质上篇幅区别并不十分重要，但典型的短篇小说仍发展出较长篇小说不同的特点。如：短篇小说长于描绘极具戏剧性的情节；往