2024年4月16日，2023年度第三届“深圳人工智能奖（Shenzhen AI Award）”获奖名单正式公布，南方科技大学团队与深圳证券信息有限公司联合申报的“新一代证券行情数据云服务设施的智能负载均衡关键技术”项目获得“技术发明奖”，主要完成人为：杨鹏（南科大）、张俊（深证信）、李皈颖（南科大）、张剑（深证信）、唐珂（南科大）、姚新（南科大）。该项目面向证券金融行业最核心的行情信息服务，基于深交所战略性研发的新一代证券行业云服务设施--深证云行情SDK系统，聚焦用户请求负载均衡技术，提出用户数据驱动的智能路由策略，同时解决多云多活金融服务系统可靠性和大型数据服务系统运营成本问题。在500万用户并发访问下，每年可节省各项云资源费约 2000 万元人民币，帮助深证云行情SDK系统将行情信息服务的单用户月费定为0.02元/连接，较当前行业内同类型产品0.03元/连接的定价降低33%。该项目技术随深证云行情SDK系统于2022年12月16在2022大湾区交易所科技大会上正式发布，目前已应用到了 3 家行业公益类产品和 8 家商业机构的行情服务产品中，服务覆盖全国投资者和主要市场参与机构，上线产品的日活用户累计超千万人，受到行业组织的认可与官方媒体的广泛报道。 该项目主要完成人均来自深圳证券信息有限公司-南方科技大学计算机系行情云联合创新实验室。双方合作始于2020年8月，面向国际领先交易所和信息服务商的证券行情服务技术演进，围绕证券大数据、人工智能、云计算等先进技术，聚焦于金融市场数据的表征、增强、计算、分发等方面的基本原理和关键技术突破，积极探索我国证券行情数据服务的变革性技术，提升深市行情在国际交易所中的影响力和话语权。杨鹏助理教授任联合实验室负责人。深圳人工智能奖是深圳市人工智能学会设立，以促进深圳市人工智能科学与技术的创新和进步的学会奖项。深圳市人工智能学会(Shenzhen Association for Artificial Intelligence)，是由深圳市人工智能科学与技术领域科技工作者和相关企事业单位自愿组成，依照国家有关法律法规登记的深圳市地方性、非营利性学术社团组织，于2019年3月正式成立，现有十一个专业委员会和三个工作委员会。中国科学院深圳先进技术研究院是理事长单位，南方科技大学、北京大学深圳研究生院、清华大学国际研究生院、哈尔滨工业大学（深圳）、华为技术有限公司、深圳市腾讯计算机系统有限公司、深圳市机器人协会、深圳市信息行业协会等10多家高等院校、高新技术企业和行业协会为副理事长单位。2023年度第三届“深圳人工智能奖”优秀博士学位论文获奖论文3篇、自然科学奖3项、技术发明奖3项、科技进步奖5项、行业应用奖6项、卓越服务奖2项。

2023-2024赛季，南方科技大学程序设计竞赛队在省级及以上级别赛事中共获得金牌 12 枚，银牌 16 枚，铜牌 11 枚，同时获得两座冠军奖杯、一座季军奖杯。2023年校队竞赛获奖一览表获奖名单按姓名拼音排序2023年亮点比赛1——女生赛全国冠军2023年10月，2023中国大学生程序设计竞赛 （CCPC）女生专场在重庆开赛。来自全国129所高校的186支女大学生队伍，南科大三位本科生周轶凡、周珈伊和陈璐瑶组成的队伍获得全国冠军，这是南科大在此项竞赛中获得的第一座冠军奖杯。2023年亮点比赛2——广东省赛冠军2023年5月14日，第二十届 CCPC 广东省大学生程序设计竞赛在深圳技术大学圆满落幕。由竞赛队成员冯照航、何俞均、周圣力组成的“南方科技大学-赫尔辛基”代表队获得全省冠军。这次比赛是我校程序设计竞赛队首次获得省赛冠军。2023年亮点比赛3——区域赛全国季军2023 年 10 月 29 日，第九届中国大学生程序设计竞赛（桂林）在桂林电子科技大学举行。由我校本科生冯照航、何俞均和洪朝阳组成的“南方科技大学-赫尔辛基”代表队获全国季军，排名仅次于北京大学、清华大学，刷新了我校在CCPC区域赛中取得的最好成绩。 总结与展望在2023-2024赛季的各项程序设计赛事中南科大程序设计竞赛队在最高荣誉上喜讯连连、屡创新高！同时金牌、银牌的总数量在国内所有高校中保持高位。竞赛队在2024-2025赛季将以提高队伍整体水平，突破顶尖队伍最好战绩为目标继续努力。 赛事简介中国与国际大学生程序设计竞赛旨在展示大学生创新能力、团队精神和在压力下编写程序、分析和解决问题能力，同时激发高校学生学习计算机领域专业知识与技能的兴趣，鼓励学生灵活运用计算机知识和技能解决实际问题，有效提升算法设计、逻辑推理、数学建模、编程实现和计算机系统能力。 南方科技大学程序设计竞赛队于 2017 年 9 月组建，由计算机科学与工程系唐博老师和沈昀老师担任教练与领队，目前共有来自六个书院的 21 名正式队员和 4 名外卡队员。校队通过每周训练、寒暑假集训，积极参加各级各类程序设计类竞赛，查缺补漏、提升水平、培养默契。

3月27日下午，暨南大学信息科学技术学院党委书记罗国伟、副院长魏凯敏、党委副书记张艳丽、党政办公室主任李琰、教学科研办公室主任杨萱、计算机科学系总支书记彭盼、计算机科学系副系主任张庆丰、党政办公室科员陈韬一行来访计算机系。计算机系党委书记王琦、系科研副主任史玉回讲席教授、刘江教授、党委副书记张进、张锋巍副教授、党委纪检委员和系办公室主任刘萍、研究生教学秘书胡芳、本科生教学秘书张爱、图灵班教学秘书佟雪铭、党务秘书潘伟英与来宾座谈交流。会场王琦书记代表南科大计算机系对暨南大学信息科学技术学院代表团的来访表示热烈欢迎。王琦书记表示暨南大学办学历史悠久，学科成就卓著，希望双方加强交流合作，并从学科发展、师资概况、科学研究进展、本研学生培养模式举措及成效等方面介绍了南科大计算机系。王琦书记讲话随后，罗国伟书记介绍了暨南大学信息科学技术学院的历史沿革、科研成果和人才培养等情况，分享学院发展和建设的经验。罗国伟书记讲话在交流研讨环节，双方针对人才引进、信息类创新人才培养、研究生培养和校企合作与成果转化等工作进行了深入探讨，分享工作经验。交流座谈环节座谈会后，罗国伟书记一行参观了我系创新实验室-智慧医疗区域及计算机系数据中心机房。刘江教授带领参观创新实验室-智慧医疗区域参观计算机系数据中心机房合影本次交流活动气氛友好热烈，增进了双方的沟通交流，凝聚了工作共识。双方表示，未来将继续加强交流合作，共同探讨信息和计算机学科建设和拔尖创新人才培养路径，为助力双方院系高质量发展开拓新思路。

Georgios Theodoropoulos, Chair Professor of the Department of Computer Science and Engineering at the Southern University of Science and Technology (SUSTech), has recently been elected as an Ordinary Member of the European Academy of Sciences and Arts (EASA). The Academy currently consists of 2000 eminent scholars, among them 32 Nobel laureates.Georgios TheodoropoulosProfessor Theodoropoulos is an elected Member of the World Academy of Art and Science (WAAS). He is also a Fellow of the British Computer Society, a Member of the China Association of the Club of Rome, and an Accredited Board Director certified by the Singapore Institute of Directors.His journey to SUSTech in 2017 marked the continuation of an illustrious career blending academic excellence and industrial expertise. Prior to joining SUSTech, he held senior positions and directorships at prestigious universities in the UK, Ireland, and Singapore.Notably, his tenure as a Senior Scientist with IBM Research was marked by playing a key role in the establishment of IBM’s Exascale Systems research in Europe, alongside seminal contributions to next-generation analytics methods and products for complex systems and smart city challenges. Furthermore, he is a chartered engineer and obtained his Ph.D. from the University of Manchester under the mentorship of Stephen Furber, renowned as the principal designer of the ARM processor.European Academy of Sciences and Arts (EASA)Founded in 1990, the EASA serves as a transnational and multidisciplinary network committed to promoting scientific and societal progress. Comprising of leading scientists, artists, and business experts, its members are dedicated to innovative research, interdisciplinary collaboration, as well as the exchange and dissemination of knowledge. Both EASA and WAAS are member academies of the InterAcademy Partnership (IAP), a global network consisting of over 140 national and regional member academies of science, engineering, and medicine, including the Chinese Academy of Sciences and the Chinese Academy of Engineering.

2024年3月27日，泰晤士高等教育（Times Higher Education, THE）发布了最新的2024年中国学科评级结果。南科大计算机科学与技术学科获评A。关于南科大计算机系南方科技大学计算机科学与工程系成立于2016年，发展人工智能、计算机应用技术、计算机网络与安全等三个研究方向。目前已初步建成一支由近50名全职教师组成的高水平国际化师资队伍，包括 IEEE会士3名、IET会士1名、国家级人才13名，教研序列 40% 入围全球前 2% 顶尖科学家榜单，超半数为 80 后青年教师。此外计算机系成功引进图灵奖获得者Joseph Sifakis院士和中科院陈国良院士担任杰出访问教授。我系开设计算机科学与技术和智能科学与技术两个本科专业，培育计算机学科拔尖创新型本硕博人才。2022年，建系不到6年，南科大计算机科学学科进入ESI全球前1%，计算机科学与技术专业入选国家级一流本科专业建设点。关于泰晤士高等教育中国学科评级泰晤士高等教育中国学科评级是基于中国教育部83门学科分类标准、以全球大学为参照的中国大学绩效评估表。将中国高校与全球高校——1,885所大学进行比较的绩效评估表。根据在1. 教学（学习环境）2. 研究（发表量、收入和声誉）3. 引用（研究影响力）4. 国际视野（国际教师、学生和研究合著）5. 行业收入（知识转移）这5个领域的表现，为中国大陆高校提供学科层面的全球洞见，以及与全球其他地区高校比较并展示学术实力。2024年度泰晤士高等教育中国学科评级的数据来自2024年度泰晤士高等教育世界大学排名、2023年和2024年度泰晤士高等教育中国学术声誉调查、2022和2023年的泰晤士高等教育学术声誉调查以及爱思唯尔（Elsevier）文献计量数据库。

南方科技大学计算机科学与工程系助理教授张煜群领导的软件前沿技术研究组(ARiSE@SUSTech)发布了世界首个开源反编译大模型——LLM4Decompile。它不仅一周内在GitHub收获了超过2K Stars，还荣登Trending榜单前三，成为了Reddit、Twitter、Hacker News、知乎、微信公众号等海内外社交平台热议的焦点。该工作同时由香港理工大学电子计算学系助理教授李菁领导的SMART研究组合作完成。作为首个开源反编译大模型，LLM4Decompile引起了人工智能和软件安全领域的热烈讨论，研究者们担忧他们的代码将面临新的安全隐患。那些曾经被认为是坚不可摧的软件安全防线，如今在LLM4Decompile模型的强大反编译能力面前，是否还能保持其原有的稳固？这一技术的出现，是否意味着许多软件安全技术的失效，甚至对整个软件安全生态产生深远的影响？反编译大模型论文链接：https://arxiv.org/abs/2403.05286代码地址：https://github.com/albertan017/LLM4DecompileLLM4Decompile具备将二进制文件反编译为C语言代码的能力，并在著名的HumanEval [1]数据集上取得了21%的反编译通过率，相较于GPT4反编译能力提升了50%。LLM4Decompile项目采用了AnghaBench [2]的一百万个函数作为训练数据，针对Linux x86_64平台，使用GCC编译器并在不同优化级别（O0-O3）下将源码编译为二进制文件。随后通过objdump指令，将二进制文件反汇编为汇编指令，与原始代码组成匹配的数据对。该项目基于DeepSeek-Coder进行了模型sequence-to-sequence微调，以汇编指令作为输入，计算反编译结果与源码之间的的Cross Entropy Loss。通过不断优化损失函数，项目训练了一系列规模从13亿到330亿的大型模型。为了全面评估反编译的效果，LLM4Decompile基于HumanEval问题和单元测试样例构建C语言版本的Decompile-Eval测试集，其包含164个C语言程序及相应的多个单元测试。通过测试反编译代码是否能成功重新编译以及是否能够通过单元测试来验证模型反编译能力。LLM4Decompile在Decompile-Eval数据集上实现了超越GPT4的性能。具体的性能数据如下：‍经过严格测试，6.7B参数的LLM4Decompile在反编译任务中表现卓越。无编译优化（O0）数据中，30%的反编译结果通过了单元测试，说明该模型在解析和反编译代码方面具有较高准确性。此外，对于经过深度优化（O3）的二进制代码，LLM4Decompile同样展现出了良好的反编译能力，单元测试通率达到了18%。与GPT4相比，LLM4Decompile平均而言在反编译能力上有50%显著的提升。典型案例如下：如上图，经过编译后，原始函数func0转化为二进制文件。随后，利用objdump工具进行反汇编，生成了约60行的汇编指令。这些汇编指令中包含了大量的临时变量和十六进制数值。LLM4Decompile模型读取这些汇编指令，并成功将其反编译为C代码。在反编译后的代码中，可以清晰地看到原函数的结构信息（如for循环、if条件语句）以及外部函数调用（如strlen、malloc等）均得到了保留。业界反响Hacker News论坛上的逆向工程领域专家对LLM4Decompile项目给予了高度评价，认为其在推动反编译领域发展方面具有重要意义，该项目也受到各国媒体广泛关注。工程师们围绕大型语言模型与反编译提出了诸多专业见解，包括拓展模型对不同架构的支持、与现有工具的对比分析、反编译结果的质量评估以及处理混淆代码的策略等。总结LLM4Decompile不仅为开源社区带来了首个反编译大语言模型，更以大语言模型在反编译领域的巨大潜力，给代码安全领域注入了前所未有的新挑战。研究显示，GPT4已具备精准反编译简单代码的能力，而LLM4Decompile在此基础上更进一步，其反编译准确率比GPT4提升了50%，这无疑给那些曾被认为万无一失的程序代码安全带来了巨大威胁。任何技术的进步都伴随着挑战与机遇。LLM4Decompile模型的推出，虽然可能给软件安全领域带来一定的冲击和担忧，但同时也提供了全新的视角和思考方式。LLM4Decompile团队始终致力于技术的合理应用与伦理规范，期待与业界同仁共同探讨、研究，共同推动软件安全技术的不断进步，为构建一个更加安全、可靠的软件生态贡献力量。让我们期待LLM4Decompile模型在软件安全领域的更多精彩表现，共同见证这一新技术为软件安全生态带来的全新变革！ARiSE@SUSTech简介南方科技大学计算机科学与工程系助理教授张煜群领导的软件前沿技术研究组(The Laboratory of Advanced Rearch in Software Engineering, ARiSE@SUSTech)长期以来致力于软件安全与测试和面向人工智能的软件工程等领域的科研工作。在模糊测试、污点分析以及基于大模型的各软件工程下游任务取得的成果已经在国内腾讯、蚂蚁和快手等企业落地应用。参考文献[1] Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde de Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, et al. 2021. Evaluating large language models trained on code. arXiv preprint arXiv:2107.03374 (2021).[2] Anderson Faustino da Silva, Bruno Conde Kind, José Wesley de Souza Magalhães, Jerônimo Nunes Rocha, Breno Campos Ferreira Guimarães, and Fernando Magno Quintão Pereira. 2021. ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code Size Reduction. In IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2021, IEEE, 378–390.