
陈家慰,2019级软件工程专业硕博连读生,导师为韩先培研究员,研究方向为大语言模型的知识增强。博士期间以第一/共一作者在ICLR、AAAI、ACL、NeurIPS等人工智能与大模型国际学术会议上共发表论文7篇,在读期间论文总引用量超过800次,提出的知识增强生成能力评估体系被国际知名开源框架Llama-Index采用,并被阿里通义千问等国内外知名大模型选为知识增强能力的评估基准。相关研究成果应用于国家自然科学基金、国家重点研发计划等多项科研项目。曾获中国科学院院长奖优秀奖、中国科学院大学优秀毕业生、北京市优秀毕业生等荣誉称号。毕业后在阿里巴巴通义实验室任职。
毕业寄语:感谢老师们和同学们给予我的帮助。祝愿师弟师妹们科研顺利、成果多多。祝愿软件所越来越好。

崔保全,2020级软件工程专业普博生,导师为张健研究员,研究方向为程序分析与软件测试。在学期间曾任国重实验室学生会主席,学生工作组组长;在软件工程领域议ISSTA/ICSE/ASE/ISSRE等高水平学术会议发表论文;研发的工具在企业真实软件中发现1700多个有效缺陷,在开源社区发现缺陷几十个,包含重要基础软件包JDK中的十几个缺陷;获国科大三好学生、优秀学生干部、优秀毕业生,北京市优秀毕业生和博士研究生国家奖学金等荣誉。毕业后留在软件所继续从事科研工作。
毕业寄语:踏着层层台阶登攀;脚踏实地,仰望星空;那永恒的炽热,让我心中燃起希望的烈焰、响起春雷。

李博涵,2019级计算机科学与技术专业硕博连读研究生,导师为蔡少伟研究员。在学期间的主要研究方向是算术理论SMT的局部搜索算法与应用。博士期间在CAV、IJCAI、FM、ToCL等领域顶会顶刊中共计发表论文10篇,其中一作/共一身份发表论文7篇;作为第一参赛人连续3年参与SMT国际比赛,并斩获多项冠军,其中包括国内首次在该项赛事中夺冠;将求解器技术落地于终端设备的GUI自适应布局领域,并因此赢得华为“鸿蒙创新大赛”一等奖。曾获中国科学院院长优秀奖、北京市优秀毕业生、中国科学院大学三好学生标兵、国家奖学金、朱李月华奖学金。毕业后就职中科工业人工智能研究院。
毕业寄语:感谢软件所的培养,感谢导师的悉心指导。祝大家学业有成,做正确的事并坚持下去。

罗天任,2021级计算机科学与技术专业博士生,导师为田丰研究员。在学期间的主要研究领域为人机交互与虚拟现实,具体方向为虚拟现实重映射交互中的感官冲突,以第一作者在人机交互领域CCF-A类顶会ACM CHI和ACM UIST发表论文6篇,获UIST’24最佳论文荣誉提名奖。系列研究工作推动了重映射交互感官冲突被写入CCF人机交互专委会“中国人机交互十大科学问题”,受邀在国科大、港科大、浙大、同济、山大等知名高校作系列成果报告,所撰写的CCF专业术语“重映射交互”作为领域共识性表述发布于CCF公众号。曾获中国科学院院长奖、朱李月华优秀博士奖学金、国家奖学金、北京市优秀毕业生、中国科学院大学优秀毕业生、中国科学院大学三好学生标兵等荣誉。
毕业寄语:感恩恩师悉心教诲、同窗一路陪伴、实习生并肩前行。愿在虚实交织的人机边界持续探索,祝学弟学妹们保持热爱,笃行不怠,在未来的科研旅程中勇敢追光、书写不凡。

田浩翔,软件工程专业2025届博士毕业生,导师为吴国全研究员,博士期间的主要研究方向是自动驾驶系统安全、仿真测试。在学期间以第一作者在ESEC/FSE、ASE、ISSTA等CCF-A类会议和期刊发表长文5篇,申请发明专利两项。在学期间获得中国科学院院长奖、北京市/国科大优秀毕业生、博士生国家奖学金、三好学生标兵等荣誉,连续两年代表软件所获得国科大“科苑杯”男子篮球赛全国总冠军。毕业后前往新加坡南洋理工大学担任博士后研究员,继续从事无人自主系统安全的研究工作。
毕业寄语:铭记软件所和导师们的培养指导,感谢师姐师兄师弟师妹们的帮助,难忘与兄弟们并肩战斗的时光。祝愿大家,点滴跬步铺就科研蹊径,万千蹊径终成如愿彼岸。

汪涛,2019级软件工程专业直博生,导师为黄涛研究员,指导老师为魏峻、陈伟研究员。在读期间主要聚焦于智能家居系统的可靠性保障关键技术研究,研究成果已在华为、微信等企业进行技术验证。在软件工程与人机交互领域的顶级会议ICSE、ISSTA、ASE、ICWS、IMWUT上发表论文7篇,其中第一作者论文4篇,荣获ASE 2023 ACM SIGSOFT Distinguished Paper Award、IEEE/CCF服务计算优秀论文奖等多项学术荣誉。曾获博士研究生国家奖学金、北京市优秀毕业生称号,并受邀在中国软件大会ChinaSoft进行学术报告。毕业后加入华为2012实验室,入选“天才少年”计划,投身于AI辅助研发前沿技术的攻关。
毕业寄语:不惧挑战,拥抱变化,愿热爱与坚持,始终指引你前行的方向。

昝道广,2019级软件工程专业直博生,导师为王永吉研究员,研究方向为代码大模型。在学期间在ICLR、ACL、ESEC/FSE、ASE、EMNLP、NeuIPS、IJCAI等顶级会议上发表多篇论文。曾获国家奖学金、中国科学院大学优秀毕业生、北京市优秀毕业生等荣誉称号。毕业后任职于字节跳动Seed,继续从事代码大模型的研究工作。
毕业寄语:感谢软件所和各位老师的培养,愿学弟学妹们代码优雅、算法精妙,在软件创新的星辰大海中乘风破浪!