Recently,the Microsoft Research Asia announced the winners of the Fellowship for Microsoft Research Asia in 2012 . After a rigorous evaluation of Microsoft Research Asia, 10 PhD students are rewarded the Microsoft Research Asia fellowships, and LIANG Hongjin from our department is one of them. Up to now, there are totally 32 students of USTC who won this honor in each year since its foundation 14 years ago.
The Microsoft Research Asia Fellowship Program aims to attract the outstanding PhD students in computer science-related area in the Asia-Pacific region to carry out their research further in their own nation. Since its inception in the Spring 1999, the program has launched for 14 years and 351 excellent PhD students from 50 different universities and research academic institutes have been recognized as the “Microsoft Research Asia Fellows” in total.This year, 94 PhD candidates from 45 leading research academic institutions in China, Australia, Japan, Korea and Singapore were nominated for 2012 Microsoft Research Asia fellowships.In contrast with the previous years, the competition in this year is more fierce ,with a more rigorous selection program, one-third places and double bonus.
LIANG Hongjin obtains the bachelor degree in June 2009, and becomes a master student of School of Computer Science and Technology in USTC in September in the same year. Then she turns to be a PhD student in 2011, advised by Professor FENG Xinyu, engaging in the research of the program verification area. Her first author paper entitled “A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations” was accepted by 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(POPL) .This is the first paper accepted by POPL whose first affiliation is from Chinese mainland.
Related Links：
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
