福宝们听说了吗？
继今年9月迎来首批新生
深圳河套学院再传来好消息！
↓↓↓
喜讯
近日，2025年CCF中国软件大会举办首届定理证明竞赛。来自深圳河套学院的博士研究生赵雨扬，一举斩获一等奖第二名！
祝贺优秀学子！
话说回来
CCF？定理证明？都是啥？
小福2分钟带你简单了解下
解码国内首届
CCF，是中国计算机学会（China Computer Federation）的英文缩写。
中国软件大会，是中国计算机学会主办的软件领域年度盛会，参会人数多、影响范围广、涵盖内容全面。
本次河套学院学子参与并一举斩获一等奖的比赛，正是2025届CCF中国软件大会的专题竞赛，也是国内首届定理证明比赛。
1
定理证明是什么？
定理证明是一项新兴核心技术。打个比方，它可以理解为给软件和硬件系统做一场“数学体检”——第一步，把它们的运行规则变成数学命题；第二步，用逻辑一步步验证它们是否正确。
2
它为何重要？
基于定理证明，国际上已有成功验证规模庞大的操作系统、编译器等的经验。例如，澳大利亚的一支团队用它展示了系统防御黑客攻击的有效性。
3
为什么举办这样的竞赛
目前，国内软硬件安全需求激增，但懂这门技术的人才不多。CFF表示，从今年起将坚持每年举办这项竞赛，在软硬件系统安全保障领域，培养积聚更多年轻力量。
才华根植土壤
比赛中，赵雨扬同学发挥稳定。在基础证明环节，全场仅他和另一位选手获得满分。
才华尽显的背后，可见他长期积累的功底：过硬的编程实力，数学建模推导能力，还有扎实的算法基础。
不可或缺的，还有河套学院提供的开放科研平台。在这片坐落于深圳福田的创新人才培养试验区，个人兴趣与前沿探索的结合，找到了最适宜的发展土壤。
就在今年，赵雨扬在粤港澳大湾区国际编程大赛中脱颖而出，荣获第三名，并由此获得深圳河套学院和香港中文大学（深圳）的博士入学资格。
赵雨扬与导师陈靖邦教授
入学以来，他获得了罗智泉（深圳河套学院执行院长）与陈靖邦两位教授的共同指导。就在不久前的世界华人数学家大会上，罗教授与美国布朗大学的舒其望教授一同获得首届华罗庚奖。
河套学院给雨扬等同学提供的养分不止于此——对话诺贝尔经济学奖得主、两届哥德尔奖得主的大师讲坛、中俄跨国交流活动......活动纷呈，平台广阔。
立足湾区，展望全球，这些朝着关键领域理论创新与应用突破进发的青年人，正如葱葱小苗，面朝旭日，拔节生长。
期待更多
有梦想、有潜力的青年学子
于科技向善的时代浪潮中
勇争上游、大鹏展翅
书写属于自己的奋斗篇章
-END-
编辑 | 曾楚媛
校对 | 廖静文、蔡诗妍、王河峰、黄睿瞳
审校 | 劳子殷
监制 | 刘伟
信息来源 | 深圳河套学院、CCF软件大会、Certik
*转载请注明来源“幸福福田” ，如有侵权请及时联系我们
