2016年1月8日，中国计算机学会（CCF）发布了“2015年度CCF优秀博士学位论文奖”评奖结果，我校梁红瑾等10位青年才俊揽得该奖项。
CCF优秀博士学位论文奖设立于2006年，旨在推动中国计算机领域的科技进步，鼓励创新性研究，促进青年专业人才成长。该奖项每年评选一次，年度获奖者不超过10名。
梁红瑾博士2009年自少年班学院本科毕业，之后推免进入计算机学院，师从冯新宇教授攻读博士学位，研究方向为程序验证与高可信软件。2014年博士毕业后留校工作，现为计算机学院特任副研究员。梁红瑾博士学术表现优异，多次在计算机领域顶级会议及期刊上发表高水平论文，2015年获中国科学院优秀博士论文奖，并被美国麻省理工学院评选为2015年度电子与计算机领域“学术新星”（Rising Stars）。
