孟瑞杰，2017级计算机科学国家重点实验室硕士研究生，导师为蔡彦研究员。研究兴趣为并发程序分析与测试。在学期间，主要提出了一种高效的死锁检测算法，将并发程序死锁检测速度提高三个数量级。硕士期间的研究成果发表于软件工程领域国际会议ICSE 2020，ESEC/FSE 2019，ASE 2019 和COMPSAC 2019。曾获得北京市优秀毕业生，国科大优秀毕业生，中科院院长奖学金，硕士研究生国家奖学金，ACM SIGAI Scholarship，ACM SIGSOFT CAPS Fund，以及两次国科大一等学业奖学金。毕业后在新加坡国立大学攻读博士学位并获得Singapore President's Graduate Fellowship资助。

毕业寄语：只要思想不滑坡，办法总比困难多。

林鸿宇，2015级软件工程专业硕博连读生，导师为孙乐研究员。在学期间的研究方向主要包括信息抽取与自然语言处理，尤其是序列到组块架构的神经网络模型用于信息抽取领域的研究。以第一作者的身份在自然语言处理和人工智能领域国际顶级会议ACL、EMNLP、AAAI发表多篇论文。曾获得中科院院长奖特别奖、博士研究生国家奖学金、国科大三好标兵等荣誉。毕业后留所继续从事科研工作。

毕业寄语：只争朝夕，不负韶华，祝所有师弟师妹前程似锦！

冯婧怡，2016级计算机应用技术专业博士生，导师为冯登国院士，组长为陈华正高级工程师。在学期间从事密码实现安全研究：设计高效的密码算法故障攻击方法，对密码实现防护提出通用的安全性评估框架，构造可抵抗多种实现攻击的综合防护原型。在学期间发表一作论文4篇，含IEEE TIFS、Sci China Inf Sci.等高水平期刊。获专利4项，相关成果应用于南网科研院、商用密码检测中心等。博士期间曾担任校拉丁队队长，获得博士研究生国家奖学金、国科大三好学生等荣誉。毕业去向为某机关事业单位。 

毕业寄语：感谢软件所提供的科研环境，感谢老师同学们的支持帮助。祝软件所越来越好，愿每一份付出都有收获！

李勇，2015级博士研究生，导师为张立军研究员。在学期间的研究方向主要包括自动机理论和模型验证算法。曾获博士研究生国家奖学金、中科院院长优秀奖、国科大三好学生标兵。毕业去向为中科院软件所。 　  

毕业寄语：希望师弟师妹们珍惜研究生时光，能够学有所成，也希望软件所能够越来越好。

于婷婷，2014级计算机软件与理论专业硕博连读生，导师为柳欣欣研究员。攻读博士期间，主要从事并发程序验证的理论研究，在导师指导下解决了CCS理论中存在超过二十年的开放问题，相关研究成果发表在POPL、LICS等国际顶级会议。多次获得国科大三好学生、国科大一等学业奖学金等奖项。毕业去向为北京控制工程研究所，从事高可信嵌入式软件方面的研究工作。

毕业寄语：博观约取，厚积薄发。