傅妍玫，2016级计算机应用技术专业硕士生，导师为吴凤鸽副研究员。在学期间的研究方向主要包括基于概率图模型的推荐算法研究和在轨目标检测算法研究，以第一作者的身份分别在KDD、ICPR、SERA国际会议上发表了三篇长文。曾获硕士研究生国家奖学金、中国科学院大学三好标兵，并连续两年获得中国科学院大学学业奖学金一等奖。毕业去向为腾讯。 　  

　　毕业寄语 

　　光阴似箭，岁月如梭，三年转瞬即逝。祝愿老师们工作顺利，学弟学妹们学业有成，前程似锦。 

　　陈明帅，2013级计算机软件与理论专业直博生，导师为詹乃军研究员。攻读博士期间，从事安全攸关嵌入式系统方向的研究，曾参与嫦娥三号着陆、高速铁路控制等国家重大工程中的控制软件正确性保障工作。与合作者一起，在形式化方法、程序验证、控制生成、自动推理等多个领域内发表学术论文13篇，其中含IEEE Trans. Automat. Contr.、CAV、IJCAR、FM、CADE等顶级国际期刊和会议，同时任10余个国际期刊及会议的同行审稿人。特别地，给出了目前国际上最好的连续动态系统的可达性判定结果，同时，在时滞动态系统的形式验证与控制生成方向所取得的若干系统性的理论创新，包括曾获ATVA 2018杰出论文奖的时滞安全博弈理论，吸引了众多国内外学者对这一方向进行研究，推动了该领域在近年来的快速发展。曾作为从全球申请者中选拔出的100位年轻学者之一，参加第六届Heidelberg Laureate Forum，与计算机和数学等领域的最高奖得主们交流讨论。曾获2018年度博士研究生国家奖学金，及2019年度中国科学院院长特别奖，这也是软件所自1985年成立以来第一次获此奖项。毕业后赴德国亚琛工业大学继续从事科研工作。 　  

　　毕业寄语 

　　向着太阳飞，累了，就落在云上。May all your theorems be provable. 

　　范俊君，2015级计算机应用技术专业博士生，导师为田丰研究员，主要研究人机交互及生理计算技术在自然人机交互、智能医疗等方面的应用，提出了基于肌电信号分析的物品交互行为感知方法以及隐式感知的用户运动功能损伤定量化评价方法。在学期间发表学术论文9篇(其中CCF A类长文2篇分别发表在普适计算顶会Ubicomp和人机交互顶会CHI，计算机一级学报4篇)，申请发明专利3项。在学期间曾担任软件所羽毛球协会会长，多次获得“三好学生”、“翱翔优秀志愿者”、“软件所摄影奖”等奖项。毕业后就业去向为澳大利亚Macquarie大学，继续从事科研工作。　　  

　　毕业寄语 

　　踏浪拾贝，知大海之美；登峰临云，识五岳之威。愿有前程可奔赴,亦有岁月可回首。 

　　王衍豪，2013级计算机应用技术专业硕博连读研究生（2015年转博），导师为苏璞睿研究员。博士期间主要从事软件脆弱性分析方面的研究，针对数据流分析技术的自动化问题，以及漏洞挖掘技术的效率等问题提出了解决方案，相关学术成果发表在NDSS，SANER等国际顶级会议以及国内期刊，对应漏洞挖掘工具发现了数十个0 day漏洞。在博士期间，先后获得“三好学生”、“优秀毕业生”等荣誉称号，同时获得2018 RHG机器人网络安全大赛第二名。毕业后就职于奇安信集团。 　  

　　毕业寄语  

　　感谢软件所提供的良好学习环境，感谢各位老师的辛勤付出。祝软件所越来越好，祝所有毕业生前程似锦！ 

　　殷宪晨，2013级计算机软件与理论专业直博生，导师是李昂生研究员。在学期间提出了基于结构信息论的数据分析原理，并开发了系统的、成体系工具，应用在低分辨率 Hi-C 数据的染色质拓扑结构域识别、癌症细胞类型和亚型划分、文本聚类、局部列举排名等问题中。研究成果发表在3篇JCR一区的期刊中，总影响因子超过20。还作为主要参与人员参加并完成了一个基于结构信息论的交易反欺诈课题，在北京银行和公安部第一研究所得到了很好的实践应用。在学期间获得了三好学生、实验室绩效奖学金等奖励，相关研究和应用成果荣获“2018 年度中国生物信息学十大进展”、“2017 年度银行业信息科技风险管理课题研究二类成果奖”。毕业去向为中央结算公司。   

　　毕业寄语 

　　感谢软件所的培养，感谢李老师的谆谆教诲。祝软件所取得更加辉煌的成绩，祝学弟学妹们学业有成。