上海控安首席科学家何积丰院士被授予共和国成立70周年纪念章!
何积丰院士:坚守初心 扎根一线
全球领跑“可信软件”
作为著名计算机软件科学家,何积丰院士提出了程序设计统一理论和连接程序理论的数学法则,在可信软件领域享有国际学术声誉。他曾担任国家自然科学基金委重大研究计划、科技部973计划、863计划主题项目首席科学家,领衔国家自然科学基金委创新研究群体,以唯一完成人荣获国家自然科学奖二等奖和上海市科技进步奖一等奖各1项,以第一完成人获省部级科技进步奖与科技成果奖一等奖4项,两次荣获英国女王先进技术奖。他曾获全国优秀共产党员、全国五一劳动奖章、全国优秀科技工作者、何梁何利基金科学与技术进步奖、全国优秀科技工作者、上海市教育功臣、上海市科技功臣等荣誉称号。
颁发纪念章是新中国成立70周年系列庆祝活动的重要组成部分。此次,“庆祝中华人民共和国成立70周年”纪念章以中共中央、国务院、中央军委名义颁发。在中华人民共和国成立70周年之际,开展纪念章颁发活动,充分体现了以习近平同志为核心的党中央对老战士老同志等人员的关心厚爱,对于加强爱国主义教育,培育和践行社会主义核心价值观,增强中国特色社会主义伟大事业凝聚力和感召力,具有十分重要的意义。
按照规定,纪念章颁发给下述对象中符合条件的人员:
– 中华人民共和国成立前参加革命工作的、健在的老战士老同志;
– 中华人民共和国成立后获得国家级表彰奖励及以上荣誉并健在的人员;
– 中华人民共和国成立后因参战荣立一等功以上奖励并健在的军队人员(含退役军人);
– 为中华人民共和国成立作出杰出贡献的国际友人。