© 2022 All Rights Reserved.粤ICP备14051456号
近日,南科大计算机系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余位科研精英,多项科研成果已在真实场景及数据中验证并得到转化。
2023-08-30
有梦想、正启航亲爱的2023届CSEer毕业快乐!塘朗山畔,挥别青葱岁月大榕树下,难忘追梦时光6月30日,南方科技大学举行了2023年毕业典礼暨学位授予仪式2067名南科毕业生身着专属学位服迎接这场专属于他们的青春盛大典礼并带着母校与师长的殷殷期望和诚挚祝福踏上新的旅程今年计算机系共有279名毕业生其中博士生5人,硕士生68人本科生206人我系本科生王奕童获南科大十佳毕业本科生本科生郑鑫颖获工学院十佳毕业本科生硕士研究生刘浩锋获南科大十佳毕业硕士生毕业典礼精彩集锦我们的毕业晚会6月25日晚7:30,计算机系2023届毕业生晚会在一科报告厅举行,在欢声笑语中庆祝毕业生们顺利毕业,走向更广阔的天地!计算机系老师、毕业的本硕生和校友代表一同参加了本次晚会。本次毕业晚会由我系校十佳本科毕业生王奕童和在读研究生王星月同学主持。我校2020级硕士生陈达寅同学和2016级本科校友何雨京同学带来的暖场歌曲《Computer Science Night》。致辞环节其后是晚会致辞环节,晚会邀请到计算机系系主任姚新教授、张进副教授、本科生代表徐驰、研究生代表李可明分别向到场的毕业生们致辞。姚新教授首先恭喜毕业生们靠自己的努力“earn a degree”,其后勉励同学们要保持勇往直前的雄心,坚持不懈的恒心,关爱家人朋友以及社会的爱心,向着新的征途迈进。张进副教授用幽默风趣的话语激励同学们:不论未来的前途如何都应为社会做一份贡献,这样才能不负南科大对大家的培养。计算机系永远是大家温暖的家,望常回家看看。计算机系优秀本科毕业生徐驰同学用充满诗意的话语回顾了大学四年的点点滴滴,并感谢了计算机系老师和同学们提供的无私帮助。计算机系优秀硕士毕业生李可明同学结合自己在南科大本硕阶段的经历,分享了对如何定义优秀的看法,身边十分优秀的女同学以及在走向优秀过程中的感悟。系旗交接仪式优秀毕业生颁奖抽奖环节再后是激动人心的抽奖环节,通过三种抽奖形式产生当晚幸运、更幸运和最幸运的同学们!最后,由计算机系博士生刘昊天、金融系博士李煌和我校生物系校友、香港科技大学硕士袁玉景同学献上精彩的街舞表演“震”。袁玉景、李煌、刘昊天分别是南科大NOVA街舞社17、18、19年的社长,同时他们也是深圳JumpTeam的队员。由陈达寅和何雨京同学献上合唱表演《不再犹豫》、《知足》和《New Boy》。有梦想 正起航跃入人海 风雨灿烂计算机系是我们永远的家祝计算机系2023届全体毕业生毕业快乐!
2023-08-30
近日,为期三周的南科大计算机系《工业应用高级数据库》课程圆满结束。该课程由近40年业界经验的法国资深数据库专家Stéphane Faroult讲授,涵盖了高级数据库开发的当前业界最新技巧和实战经验。在为期三周的课程中,Stéphane Faroult结合他在数据库领域的资深专业背景,深入浅出地向学生们讲授了工业界最新的高级数据库开发技巧。课程结束后,学生们纷纷表示:干货满满,受益匪浅! Stéphane Faroult目前担任AMUNDI-ITS系统专家(AMUNDI是欧洲最大的资产管理公司)。他职业生涯的大部分为法国兴业银行(SociétéGénérale)、法国巴黎银行(BNP Paribas)、欧莱雅(L'Oréal)、布伊格电信(Bouygues téLécom)和SFR电信等法国大公司以及政府机构提供数据库咨询服务。他早年曾在法国Oracle和IBM公司从事技术工作,在数据库领域拥有长达近40年业界经验。此外,Stéphane Faroult 曾于2017-2018年任南科大计算机系教学教授,讲授《数据库原理》和《计算机系统设计及应用A》课程(评教得分分别为97,98分),受到学生高度好评。课程现场本课程是我系完善本科教学课程体系,持续深入推进产教深度融合,提升高校学生的实践力和专业度,加强国际化人才培养的重要举措之一。学生感言——19级于松琦同学本课程让我对现代商用数据库有了更深的理解,相比于数据库基础课程,这门课更倾向于讲解数据库的优化方法与优化原则。得益于南科大双语教学,教授的全英课程对我们来说障碍很小。即使短期培训课程内容十分紧凑,但教授在讲解知识和技巧的同时兼顾了趣味性。教授对实验课的所有内容还精心提供了多语言模板,使得我们接触起来毫无障碍,整个课程干货满满。南方科技大学计算机科学与工程系
2023-08-09
习近平总书记在党的第二十次全国代表大会报告中指出:“教育、科技、人才是全面建设社会主义现代化国家的基础性、战略性支撑,要坚持教育优先发展、科技自立自强、人才引领驱动,加快建设教育强国、科技强国、人才强国。”计算机科学与工程系有这样一批优秀青年,他们在求知的道路上奋勇向前,经历了无数个日夜的付出,如今,他们在学术研究和专业技能方面取得了卓越成就,成为计算机系乃至学校的骄傲。我系2019级本科生王奕童荣获南方科技大学2023届十佳本科毕业生,2020级硕士研究生刘浩锋荣获2023年十佳毕业研究生。王奕童校十佳本科毕业生导师:刘烨庞助理教授书院:致新书院毕业去向:华为技术有限公司sp offer/北京中科院信工所口头offer关于他:进入南科大后,他在专业课学习上认真努力,获得连续三年优秀学生奖学金一等奖,为未来就业打下坚实基础。他凭借自己出色的专业技能,多次获得国际级和国家级奖项,如数模美赛全球二等奖,软件测试大赛全国二等奖等等。在校期间,他积极践行深圳的志愿服务精神。他做过非常多学生工作:书院大学长、互助课堂大学长、计算机系学生助理等等都有他奉献。他积极推动南科大的教学发展。他开发的JAnswer作业答案系统,让师生走出教学资源难收集的困境;他维护的校内评测系统Arch OJ和JCoder,被95%以上的南科大学生使用,解决了先前作业反馈不及时的痛点。他在新国都支付有限公司实习,实习期间开发一整套分布式系统的测试模块,成功落地到实际的支付系统。毕业季他拿到华为技术有限公司的special offer,希望能够在业界检验自己,为社会做出贡献。刘浩锋校十佳毕业研究生导师:刘江教授毕业去向:新加坡国立大学 研究助理关于他:他是计算机科学与工程系的硕士研究生,担任学校田径队副队长。他学习认真刻苦,成绩排名专业第一;科研上潜心研究白内障眼底图像增强算法,发表10篇学术论文,其中包含多篇领域顶级论文,还申请发明专利6项,在MICCAI OMIA和MIDL担任审稿人;他积极参与实验室管理,协助指导20名本科生的创新实验和4项大创,带领本科生发表论文4篇。他在担任田径队队长期间,率领校队参加广东省大运会田径比赛,带队获大学城运动会团体总分冠军;他在广东省田径锦标赛中获4x100米第二名,在校运会和大学城运动会中多次获得100米和4x100米的冠军,并多次打破校纪录;他还积极参与组织工学院“迎新跑”、“青春跑”和“新年跑”等活动,带动广大同学强健体魄、塑造运动精神。他们是计算机系众多毕业生的代表,每一位计算机系毕业生都有着独特的故事和闪光的成就,他们的毅力、智慧和创造力将为社会和行业带来新的活力和动力。毕业时刻衷心地向所有计算机系2023届毕业生致以衷心的祝贺祝你们前程似锦计算机系是你们永远的家
2023-06-26
2023年5月25日,计算机科学与工程系2023届拟毕业生在第一教学楼进行毕业论文答辩。此次答辩分为9个小组,共有205名学生参加,我系27名教学科研序列教授担任本次答辩会的评委老师。本科生毕业论文答辩严格按照学校论文答辩的要求与流程进行,主要分为学生论文陈述、提问与回答问题两个部分,每位同学共15分钟,每组持续时长6小时。答辩过程中学生结合PPT阐述了毕业论文(设计)的研究背景与意义、相关工作、研究方法、实验结果等。评委老师根据学生的陈述,就论文(设计)的研究结果、整体结构、写作规范等存在的不足和问题,提出详细意见与建议。图为答辩现场毕业论文(设计)工作是计算机系人才培养的重要环节,是学生运用专业知识解决实际问题能力的重要实践。我系不断加强本科生毕业论文过程管理,设置了中期答辩和最终答辩环节,每位同学毕业论文(设计)均由学术导师和评阅老师共同把关评分,在中期答辩后,学术导师和评阅老师分别从论文选题、研究进展、预期成果等方面独立评分,并及时反馈给同学。最终答辩前,同样由学术导师和评阅老师独立评分。每位同学毕业论文(设计)的最终成绩由中期评分、期末评分以及答辩评分三部分组成,并择优推荐校级优秀毕业论文(设计)。我系一直把高质量本科教育作为人才培养的生命线,通过不断优化提高过程管理、严格把关毕业论文质量等措施,不断提升人才培养质量。
2023-06-26
近日,南科大计算机系Hisao Ishibuchi教授课题组6篇论文被遗传与进化计算国际会议GECCO 2023 接收。其中2篇论文的第一作者为我系在读本科生。他们分别是:计算机系2019级本科生安广言、吴子彧、沈挚龙(共同第一作者)和2020级本科生朱晗。论文通讯作者为计算机系研究副教授尚可和讲席教授Hisao Ishibuchi。两篇论文均为本科生创新实验课程成果,他们从大三开始选修创新实验课程,进入Hisao Ishibuchi教授课题组接受科研训练。南方科技大学计算机科学与工程系从创系之初就强调本科生的综合能力培养,以实际问题为导向,以项目为驱动,以学科交叉融合为辅助,以“学生项目小组+导师”配对的方式从大三开始每周指导本科生做多样的工程或科研项目。这样的培养方式极大地提高了学生们的动手能力、抽像思维能力、沟通表达能力和团队精神,为学生的长期发展打下了坚实的基础,促进学生从知识学习型向知识创造型转变。1Evolutionary Multi-Objective Deep Reinforcement Learning for Autonomous UAV Navigation in Large-Scale Complex EnvironmentsGuangyan An, Ziyu Wu, Zhilong Shen, Ke Shang* Hisao Ishibuchi*该论文提出了一种创新的多目标无人机自主导航方法。该方法结合了演化多目标优化(EMO)和深度强化学习(RL),在大规模复杂环境中实现了无人机的飞行安全和飞行效率两种目标的自主导航,为无人机自主导航任务提供了更加灵活的解决方案。在当前的无人机自主导航领域,如何在完成无人机自主导航任务的基础上,同时考虑无人机的飞行安全和飞行效率,是一个重要且挑战性的问题。针对这个问题,该论文提出了一种结合演化多目标优化和深度强化学习的无人机自主导航方法框架。该框架通过演化多目标优化算法产生一组非支配的奖励函数参数集,实现了无人机在飞行安全和飞行效率上的多样化控制策略。在无人机自主导航的任务测试中,该框架相比传统的深度强化学习方法展现出了显著的性能提升。图1. 文章提出的多目标无人机自主导航框架图2. 由框架得到的不同参数的无人机的轨迹比较(安全型、平衡型和效率型)这项研究为大规模复杂环境中的多目标无人机自主导航提供了新的解决方案,并展示了通过整合深度强化学习和演化多目标优化进一步提升无人机自主导航性能的可能性。本论文三位共同第一作者为计算机系2019级本科生安广言、吴子彧、沈挚龙。论文通讯作者为计算机系研究副教授尚可和讲席教授Hisao Ishibuchi。2Hypervolume Approximation based on Set TransformerHan Zhu, Ke Shang* Hisao Ishibuchi*该论文改进了一种用于近似超体积评价指标(Hypervolume Indicator)的深度神经网络模型。新的模型通过修改、简化并应用Set Transformer替换掉了原模型HV-Net中的DeepSet模块。该论文还优化了HV-Net的训练策略,同时重新设计了损失函数解决了HV-Net训练过程中出现的无法收敛的问题并实现了更低的近似误差。图3. 文章及后续工作提出的网络近似模型多目标优化问题是指在优化过程中需要同时考虑多个目标函数的优化问题。超体积评价指标(Hypervolume Indicator)是一种常用的多目标优化算法评价指标,用于衡量算法得到的解集在目标空间中所支配的空间大小。超体积评价指标是一种一元评价指标,该指标能够同时评估一组解的收敛性与多样性,因此能够帮助算法设计者更好地了解算法的性能。然而,现有的精确计算超体积评价指标的算法的计算复杂度是指数级的,在维度以及解的数量两方面的扩展性都不友好。因此牺牲一定的精度来换取更短的计算时间是有必要的。图4. 三维目标空间中的超体积示意图相较于原模型HV-Net,这项研究提出的模型STHV-Net以略微增加的计算时间为代价,大幅提升了各个维度下的超体积评价指标近似精度(10维目标空间中HV-Net的近似误差为4.2%,所提出的Version1模型的近似误差为1.87%,Version2模型的近似误差为0.86%)。这为一些基于超体积评价指标的优化算法,如SMS-EMOA,提供了一种可能的优化方案。本论文第一作者为2020级本科生朱晗,论文通讯作者为计算机系研究副教授尚可和讲席教授Hisao Ishibuchi。
2023-06-26