冯胜华，2018级计算机软件与理论专业直博生，导师为詹乃军研究员，研究方向为形式化验证，特别是程序与混成系统的分析、验证和生成。在学期间在程序语言、验证领域的顶级会议CAV、OOPSLA、IEEE TAC上发表多篇论文, 其中包括两篇一作 CAV (2019, 2020) 以及一篇一作 OOPSLA 2023。曾获得博士研究生国家奖学金、国科大三好学生标兵、国科大一等学业奖学金等荣誉称号。毕业后在中关村实验室继续从事科研工作。

毕业寄语：感谢软件所、实验室的培养指导，愿师弟师妹们在困境时总能遇到柳暗花明的那一刻。千淘万漉虽辛苦，吹尽狂沙始到金。

胡杰，2018级软件工程专业博士生，导师为吴恩华研究员。在学期间主要在人工智能与计算机视觉领域进行研究，具体研究方向为卷积神经网络的结构设计与量化加速。博士期间以第一/共一作者在模式识别和计算机视觉顶刊和顶会TPAMI、CVPR、ICLR、AAAI、ICASSP上共发表论文5篇。曾获得国科大三好学生标兵、中科院院长奖、国科大优秀毕业生、北京市优秀毕业生等荣誉称号。毕业后就职于美团，担任美团商品与短视频理解部门负责人。

毕业寄语：事不避难，义不逃责，素位而行，随适而安，毋戚戚于功名，毋孜孜于逸乐。期望师弟师妹们敢为人先，以梦为马，不负韶华。

李江梦，2018级计算机应用技术专业博士生，导师为郑昌文研究员。在ICML、NeurIPS、AAAI、IJCAI、IJCV、TKDE等机器学习以及人工智能领域国际顶级期刊和会议上发表17篇论文（第一作者/共同一作11篇）。以核心人员以及参与人员身份参加国家级科研项目1项、省部级科研项目4项。获得中国科学院院长奖、北京市优秀毕业生、国科大优秀毕业生、研究生（博士）国家奖学金、国科大三好学生、国科大一等学业奖学金等荣誉。毕业后留所继续从事科研相关工作。

毕业寄语：搞学术本身就是辛苦活，但是一分耕耘一分收获，留下的每一滴汗都会成为在未来等着你的甘露。

刘君毅，2017级计算机软件与理论专业直博生，导师为应明生研究员。在学期间的研究方向主要包括量子程序的分析与验证，在CCF A类的知名会议和期刊上共计发表论文4篇，其中发表于计算机逻辑知名会议LICS上的论文获评杰出论文奖。获得中国科学院院长奖、北京市优秀毕业生、国科大优秀毕业生、国科大三好学生等荣誉。毕业去向为美国马里兰大学，继续从事科研工作。

毕业寄语：祝软件所蒸蒸日上，愿同学们前程似锦。

刘哲，2018级软件工程专业硕博连读生，导师为王青研究员。在学期间的主要研究方向是智能化软件测试、移动应用程序的智能化测试。以一作身份在软件工程领域和人机交互领域国际顶级期刊会议/期刊（CCF-A）ICSE、ASE、FSE、CHI、TSE发表5篇长文和4篇短文。在学期间分别在软件工程领域顶级会议ASE 20和ICSE 22两次获得ACM学生研究竞赛（Student Research Competition，SRC）的冠军，并且经过激烈的角逐于2023年6月荣获ACM SRC研究生组全球总决赛冠军，也是SRC开赛20年以来中国大陆高校首位获得该荣誉的博士生。曾获中科院院长优秀奖、博士研究生国家奖学金、硕士研究生国家奖学金、北京市三好学生、北京市优秀毕业生、国科大三好学生标兵、优秀学生干部等荣誉称号。毕业后留所继续从事科研工作。

毕业寄语：非常感谢软件所的老师和同学们对我的支持和帮助。让我们怀揣着勇气，驶向理想的彼岸。未来是未知的航程，但信念是前行的风帆。愿学弟学妹们勇往直前，书写精彩人生！

燕季薇，2019级软件工程专业博士生，导师为严俊研究员。博士期间主要研究方向为程序分析与测试。在学期间，在软件工程领域ASE、ICSE、ESEC/FSE、SCP等高水平会议和期刊发表论文十余篇，其中以第一作者身份发表长文4篇，工具论文1篇，以通讯作者身份发表长文3篇。与此同时，在校期间获得中科院院长优秀奖、博士研究生国家奖学金、国科大一等学业奖学金、北京市优秀毕业生等荣誉称号。毕业后留所继续从事科研工作。

毕业寄语：感谢软件所提供的良好科研环境，感谢各位老师的谆谆教诲。祝软件所蒸蒸日上，祝同学们前程似锦！