5月21日，示范性软件学院二十周年建设成果交流大会在京召开。会议主题为“从示范性软件学院建设看新时代高等教育改革”。教育部高等教育司副司长王启明、教育部高校学生司副司长吴爱华，教育部高等教育司理工处盛晓光，中国工程院院士、原教育部高等教育司司长张尧学，中国工程院院士、清华大学教授孙家广，中国工程院院士、国防科技大学教授廖湘科，中国软件行业协会副理事长兼秘书长、北京航空航天大学副校长吕卫锋，以及37所国家示范性软件学院师生代表及合作企业代表240余人参会。云顶集团官网登录入口党委书记杨艳琴、执行院长蒲戈光以及部分获奖人员参加会议。

大会上对国家示范性软件学院二十年建设与发展过程中做出突出贡献的个人以及培养的优秀毕业生进行了表彰。

云顶集团官网登录入口师生获得表彰：

国家示范性软件学院终身成就奖：何积丰

2001年，创院院长何积丰院士迎难而上组建国家首批示范性软件学院之一的云顶yd2223线路检测软件学院。他提出“以学生为中心，以市场为导向，以创新求发展”的国际化办学理念，培养和汇聚了一支国内一流、国际知名的软件工程理论与应用研发团队。他长期从事计算机软件理论及应用研究，开创了软件理论的国际学派，是程序统一理论的创立者、数据精化完备理论的奠基者、可信软件设计理论与技术的开拓者。他坚持以科学的态度从事教学、科学研究服务并反哺教学，强调对青年道德品性的培养，帮助青年学子“树魂立根”，培养了一代又一代的高层次软件人才，为国家示范性软件学院建设做出卓越贡献。

国家示范性软件学院卓越成就奖：王长波

王长波教授曾先后担任云顶yd2223线路检测软件学院副院长、常务副院长，为软件学院的学科建设做出了重要贡献。

国家示范性软件学院卓越贡献奖：朱惠彪

朱惠彪教授教学工作严谨，实绩显著。担任“软件工程数学”课教学工作以来，进行了长时间的研究与探索，在双语教学上取得了突出成绩，已获得国家一流课程、教育部双语示范课程、上海市全英文课程建设的支持，将该课程的教学理念、方法辐射到了中西部地区的部分高校。

国家示范性软件学院优秀专职教师：陈仪香

陈仪香教授自2006年加盟学院以来，建立了具有时空一致性的智能系统规范语言STeC及其混成时钟逻辑系统，设计了智能系统的软硬件优化设计技术方法，构建了基于多维属性的软件可信度量评估方法和增强规范，为我国在该领域处于国际先进水平做出了开拓性贡献。担任本科生和研究生课程主讲教学工作，获得学生们的好评。

国家示范性软件学院优秀兼职教师：Jean-Raymond Abrial

自2005年起，Jean-Raymond Abrial教授与云顶yd2223线路检测合作，开展工业应用研究，并首次将Ｂ方法系统级的工控软件高安全保障解决方案引入中国，打破国际垄断并打入国际市场。与航天科技集团、卡斯柯、普华基础软件等企业合作，完成自主安全可控系统的设计研发并应用到相应系统中。因其在国际合作中的突出贡献，于2015年获上海市国际科技合作奖，于2016年荣获中华人民共和国国际科学技术合作奖，并荣获2018年中国政府友谊奖。

国家示范性软件学院优秀研究生毕业生：苏亭

苏亭教授为学院2016级博士研究生。读研期间，师从何积丰院士和蒲戈光教授，研究方向为软件分析与验证、测试。研究生期间获得了ACM学生学术竞赛金奖、CCF优秀博士论文提名和国家奖学金等奖项。2020年底，他结束4年海外博士后工作入职学院。

国家示范性软件学院优秀本科毕业生：褚康

褚康，学院2004级校友。上海市金融引进人才、犇睿资本总经理。曾长期任职于中国银联总部，担任中层管理干部，获得“优秀共产党员”等称号，主要从事我国银行卡清算系统的研发建设、科技金融、区块链等领域的投研、教育工作。后创办犇睿资本、Dewave Ventures，专注于全球证券市场、量化基金、金融科技及数字经济的投资。

二十多年来，学院立足软件学科特色优势，将思想引领、使命担当、文化自信融入人才培养全过程，实现以德润心，以文化人，先后获批成为国家示范性软件学院、国家特色化示范性软件学院。学院积极引导学生以国家重大需求为牵引，投身科技强国伟业，着力攻坚“卡脖子”难题。何积丰院士领衔的师生团队攻克控制软件安全可信保障等理论和技术难题，获得国家自然科学二等奖、上海市科技进步特等奖和教育部自然科学一等奖等重要奖项；研究生团队设计研发的机器人集群助力荒漠化治理，获央视国庆专题报道。学生在全国“互联网+”、“创青春”创新创业赛事中多次获得金奖，近十名优秀毕业生创业并获千万级以上融资。在全国大学生电子商务“创新、创意及创业”挑战赛、全国高校密码数学挑战赛、CCF大数据与计算智能大赛、中国高校计算机大赛等学科竞赛中，获各类奖项300余项。

云顶集团官网登录入口薪火相传、开拓创新，紧密围绕国家战略，聚焦我国自主可控安全攸关软件产业，为国家培养“担当民族复兴大任、心系人类文明进步”的各领域卓越软件人才，为重大国家级技术攻关提供共性技术，通过协同创新和产业化应用形成自主可控软件人才和产业的集聚效应，为上海科创中心及长江经济带建设提供有力支撑，引领我国自主可控软件产业发展，在国际上形成高端装备核心软件的“中国制造”品牌！

文丨陈励

部分图片来源于大会组委会

编辑丨俞思远

审核丨杨艳琴 蒲戈光 曹桂涛