近日，南科大计算机系2021级硕士研究生蒋灵荣获2022年度腾讯犀牛鸟精英人才计划杰出奖学金。共有来自全国知名高校和研究所的6位同学获此殊荣，其中包括清华大学、浙江大学、西安交通大学和中国科学院软件所。蒋灵同学也是我系历史上首位获得该项奖学金的学生。指导老师为计算机系张煜群助理教授。

2022年腾讯犀牛鸟精英人才计划发布人工智能、智慧城市、碳中和、量子计算等14个前沿技术方向，经过多轮激烈评选，72名同学最终入选。根据一年多校企联合培养过程中同学们的综合表现，16名学生进入奖学金答辩评审环节。来自学界和企业的评审专家从研究价值、应用价值和综合能力等多个维度针对精英计划同学在培养期间的学习成果进行奖学金评选，最终评选出6位杰出奖学金获奖者。

在腾讯犀牛鸟精英人才计划中，蒋灵同学参与课题名为《自然语言处理技术在软件安全领域的应用研究》，与腾讯科恩实验室合作开展了围绕二进制智能化分析的研究工作，内容包括了二进制软件成分分析，逆向工程等。目前他作为第一作者的研究成果在软件工程领域公认的权威性顶级会议 ISSTA 2023（中国计算机学会推荐的软件工程/系统软件/程序设计语言分类A类会议）上发表，该论文首次将第三方库间的源码复用关系应用于二进制SCA中，基于源码复用关系，数据库中第三方库间的重复特征被有效清理，从而避免了源码复用导致的第三方库识别错误。此外，文中提出的相应技术成果应用至科恩实验室自研二进制安全智能分析平台—BinaryAI（https://www.binaryai.cn/）。作为核心模块之一，该项技术成功构建了数万级第三方开源库间的源码复用关系，同时处理了百亿级C/C++源码特征数据，有效地提高了BinaryAI识别二进制文件的第三方组件及其版本号等相关能力。同时，该技术也同步拓展应用至腾讯开发安全解决方案，以提升全线产品生命力。 

蒋灵同学（左）和张煜群老师（右）

蒋灵同学的科研导师是张煜群助理教授，科研方向为软件安全与测试等。蒋灵同学自加入张煜群老师课题组以来，已经在软件工程国际顶级会议ICSE, ISSTA上发表四篇正文，其中以第一作者身份发表两篇正文。除与科恩的合作研究外，他在二进制模糊测试的成果包括对主流模糊测试技术进行的统一评估和探究，核心机制有效性的验证以及提出新的模糊测试技术，进一步推进二进制安全相关领域的发展。目前新的技术有效地提升了模糊测试的程序覆盖率和漏洞挖掘能力，并且已经应用于真实的测试场景当中，挖掘了全新的程序安全漏洞和多个CVE（通用漏洞披露），得到了国内外领域专家的高度认可。 

蒋灵获奖感言

首先衷心感谢张煜群导师和腾讯导师的共同指导，不仅在学术研究上给予我宝贵的建议和指导，更是在专业素养和团队合作等方面给予了我很大的帮助。此外，感谢腾讯犀牛鸟精英人才计划项目，这样的实践经历为我将学术研究与实际应用相结合提供了宝贵的机会。在科研的过程中，我深刻认识到持续追求卓越的重要性。科学研究不仅需要我们坚持不懈地努力，还需要不断培养了自己的创新思维和解决问题的能力，敢于提出问题、探索新的思路。同时，我也深刻认识到产学结合的重要性。此次产学研合作项目让我深入了解到了实际应用的需求和技术趋势，这种合作模式不仅加速了科研成果的转化和推广，也为我提供了宝贵的实践机会和深入了解行业的机会。在产学结合的过程中，我意识到学术研究与实际应用的相辅相成，通过将学术理论与实践相结合，可以更好地满足社会需求和推动科技进步。 

软件前沿技术实验室

由张煜群老师于2017年组建，张老师现为助理教授，研究领域包括软件安全与测试，面向人工智能的软件工程等。课题组迄今共发表软件工程相关领域CCF-A论文20余篇。

腾讯犀牛鸟精英人才计划

腾讯犀牛鸟精英人才计划于2017年首次发布，旨在打造面向学生的校企联合培养方案，构建产学研合作良好人才生态，培养海内外顶尖人才，加速前沿技术的应用转化。截至目前，该项目已培养来自海内外70+所高校及科研机构的280余位科研精英，多项科研成果已在真实场景及数据中验证并得到转化。