近日，微软亚洲研究院公布了2012年“微软学者”奖学金获奖名单。经过微软亚洲研究院评委会的严格评审，最终共有10位博士生获得“微软学者”称号，我院2011级博士生梁红瑾同学名列其中。这也是该奖学金自设立以来，中国科大连续14届、第32位同学获奖。
“微软学者”奖学金是微软亚洲研究院推出的旨在吸引亚太地区最优秀的计算机及相关专业的博士生进一步留在本国开展研究的人才培养方案。该奖学金项目从1999年春季开始实施，到2012年为止已经推出第14届，共有来自近50所高校和研究机构的351位优秀博士生获得了“微软学者”奖学金。今年评选的候选人来自亚太多个国家和地区，包括中国、澳大利亚、日本、韩国和新加坡等，共计为45个领先研究型大学（机构）的94名优秀博士生，竞争水平与往年相比有明显提高，并且采用了更加严谨的遴选方式，名额减少为往年的三分之一，奖金提高一倍。
梁红瑾同学于2009年6月在中国科大少年班获得学士学位，同年9月转入中国科大计算机学院进入硕士阶段学习，2011年转为博士研究生，在冯新宇教授的指导下开展程序验证方向的研究。由她作为第一作者的论文“一种用于验证并发程序变换的基于依赖-保证的模拟关系”（A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations）被第39届编程语言原理国际会议（ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages，简称POPL）录用，成为中国大陆高校和科研机构以第一作者单位身份被POPL录用的首篇论文。
相关链接：
1. http://www.msra.cn/Articles/ArticleItem.aspx?Guid=22bf1497-6ffa-47aa-8158-41f8d3bc6c04
2. http://news.ustc.edu.cn/xwbl/201110/t20111009_120986.html
