邓峻恺，2021级计算机科学与技术专业硕士生，导师为侯飞副研究员。在读期间的主要研究方向为计算机图形学与虚拟现实，以第一作者身份在计算机视觉领域国际顶级会议CVPR上发表论文一篇。此外，在2022-2023年曾担任软件所研究生会宣传部部长、多次参与科普教学活动，长期于软件技术博物馆担任讲解工作。曾获得中国科学院大学三好学生、优秀学生干部等荣誉称号。毕业后前往新加坡南洋理工大学继续深造。
毕业寄语：不论科研的过程多么令人沮丧、煎熬，要相信自己的能力、不懈奋斗，一切总会柳暗花明、苦尽甘来。
韩凯，2019级计算机应用技术专业博士生，导师为吴恩华研究员。在学期间主要在人工智能与计算机视觉领域进行研究，具体研究方向为高效神经网络模型研究。博士期间以第一/共一作者在人工智能领域顶刊和顶会TPAMI、IJCV、NeurIPS、CVPR、ICML上共发表论文7篇。曾获得中国科学院院长特别奖、国家奖学金、中国科学院大学优秀毕业生、北京市优秀毕业生等荣誉称号。毕业后在华为诺亚方舟实验室任职。
毕业寄语：长风破浪会有时，直挂云帆济沧海。祝师弟师妹们前程似锦，祝软件所蒸蒸日上。
刘昱玮，2018级软件工程专业硕博连读研究生，导师为苏璞睿研究员。在学期间的主要研究方向是大规模软件系统漏洞的挖掘、分析及利用。在网络安全和软件工程领域 NDSS、ASE、S&P 等高水平国际会议发表论文8篇，其中以第一/共一作者发表论文3篇。对应漏洞挖掘工具发现46个 0 day漏洞，其中42个被国际通用漏洞披露组织CVE收录并赋予编号。参与研发的软件漏洞自动利用系统获得2021年度纵横杯 RHG 国际机器人网络安全对抗赛冠军和2021年度陇剑杯RHG人工智能赛道冠军。曾获中国科学院院长优秀奖、北京市优秀毕业生、中国科学院大学三好学生标兵、中国科学院大学一等学业奖学金等荣誉称号。毕业后就职于蚂蚁集团。
毕业寄语：谢各位老师和同学在科研和生活上的帮助。祝愿软件所和实验室蒸蒸日上，也祝愿师弟师妹们可以在这里实现自己的理想。
王栋，导师魏峻研究员，2018级软件工程专业直博生。在学期间主要研究领域为分布式系统测试，具体研究方向为模型检查制导的分布式系统测试。在学期间在分布式系统以及软件工程领域的顶级会议EuroSys、ESEC/FSE、ICSE、ASE、DSN等会议上发表多篇论文，并推动了形式化方法在分布式系统测试领域的应用与发展。曾获得博士研究生国家奖学金、ACM Distinguied Paper Award、北京市优秀毕业生等荣誉。毕业后进入华为云计算公司企业智能部，从事大模型基础设施的可靠性保障和提升工作。
毕业寄语：感谢和怀念在软件所的每一个日日夜夜，回头再看，每一份付出的努力和汗水都是值得的。虽然道路可能是曲折的，但请师弟师妹们相信前途是光明的。
张昕荻，2018级计算机科学与技术专业硕博连读生，导师为蔡少伟研究员，研究方向为逻辑求解器及其应用。曾获中国科学院院长奖特别奖，并作为中国科学院毕业生代表发言。其研究解决了Bart Selman命题逻辑十大挑战之一，获SAT会议“最佳论文奖”，并取得国际SAT比赛、SMT比赛、FLoC奥林匹克竞赛冠军十余项。相关成果应用于“卡脖子”EDA问题，落地于多家国内EDA企业；应用于流密码分析，获“强网杯”密码数学专项赛全国总冠军。在学期间曾获中国教育发展基金会奋进奖学金、国家奖学金、北京市优秀毕业生、朱李月华优秀博士奖学金、中国科学院大学三好学生标兵、CCF-ChinaSoft优博等荣誉。研究生期间累计在SAT、CAV、ICSE、ICCAD等领域权威会议发文12篇、国家发明专利数项。毕业后留所从事科研工作。
毕业寄语：感谢软件所各位老师和朋友们！愿各位学弟学妹们切守初心，以健康为基、知识为翼、勇气为帆、乐观为伴，未来如星辰般璀璨，照亮自己的道路，也温暖他人！
左然，2018级软件工程硕博连读研究生，导师为马翠霞研究员。博士期间的主要研究方向为基于深度学习的草图交互技术研究、基于草图的可视媒体检索与编辑算法研究，以第一作者的身份在图像处理领域顶刊IEEE TIP、人工智能领域顶会IJCAI、软件学报等发表论文，申请国家发明专利3项。在校期间曾获得中国科学院大学三好学生、中国科学院大学优秀毕业生、北京市优秀毕业生等荣誉。毕业去向为中国传媒大学，从事教学科研工作。
