近日，2023年全国大学生计算机系统能力大赛颁奖典礼在中山大学举行。我校计算机科学与工程系、树仁书院本科生郑英炜、邬一帆、严文谦，致新书院本科生王炳臻组成的参赛队荣获2023年全国大学生计算机系统能力大赛编译系统设计赛（Risc-V赛道）特等奖，指导老师为计算机科学与工程系刘烨庞助理教授。        大赛由编译系统设计赛、操作系统设计赛和数据库管理系统设计赛组成。编译系统设计赛今年共有152支参赛队报名，45支赛队入围全国总决赛；操作系统设计赛共近400支赛队报名，190支赛队入围全国总决赛；数据库管理系统设计赛是2023年新设赛道，共有近400支队伍报名，37支赛队入围全国总决赛。我校参赛队是编译系统设计赛RISC-V赛道中唯一的特等奖队伍。

我校参赛队领奖

比赛准备过程中，我校参赛选手在编译器测试方面投入大量时间，编写了多个单元测试，并尝试使用形式化验证工具，确保参赛使用的编译器在进行大量激进优化后仍然能保持正确性，在决赛中快速发现并修复编译隐藏样例时出现的问题，最终在比赛中脱颖而出，获得特等奖，这也是对南科大学子计算机竞赛能力的充分肯定和认可。

获奖学生代表郑英炜发言

获奖学生代表郑英炜在大赛颁奖典礼上发表获奖感言。他表示，很荣幸队伍获得了特等奖，这离不开队员们的努力和导师的精心指导。期待未来能有更多的同学参加计算机竞赛，积极参与开源系统软件的开发，为推进国家计算机领域的发展贡献南科力量。

据悉，全国大学生计算机系统能力大赛旨在以学科竞赛推动专业建设和计算机领域创新人才培养体系改革，培育我国高端芯片、关键基础软件的后备人才，围绕CPU、编译系统、操作系统、数据库管理系统的设计和实现，在赛题和赛制上不断推陈出新。作为“计算机类专业系统能力培养”教育生态的重要组成部分，大赛创办七年来，参赛学校、参赛人数不断增加，2023年成功入选中国高等教育学会《2023全国普通高校大学生竞赛分析报告》竞赛目录。

供稿：计算机科学与工程系

通讯员：潘伟英

编辑：曾昱雯