梁紅瑾，女，1989年生。2014年7月畢業於中國科學技術大學，獲博士學位。現任中國科學技術大學計算機學院特任副研究員。
梁紅瑾主要從事程式驗證、並發理論、程式設計語言理論方面的研究。
基本介紹
- 中文名：梁紅瑾
- 出生日期：1989年
- 畢業院校：中國科學技術大學
- 主要成就：2015年度電子與計算機領域“學術新星”
2015年中科院優秀博士論文獎
人物經歷,主要研究,主要論著,榮譽獎項,
人物經歷
2009年梁紅瑾本科畢業於於中國科學技術大學少年班，推免進入於中國科學技術大學計算機學院攻讀博士學位，加入中科大－耶魯高可信軟體聯合研究中心，2011年開始攻讀博士學位。
2014年梁紅瑾中國科學技術大學博士畢業後留校工作，在計算機學院擔任特任副研究員。
主要研究
程式驗證、並發理論、程式設計語言理論
主要論著
[01] | Hongjin Liang, Xinyu Feng, Zhong Shao. “Compositional Verification of Termination-Preserving Refinement of Concurrent Programs.” In Proc. 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual IEEE Symposium on Logic in Computer Science (CSL-LICS'14), Vienna, Austria, Article No. 65, July 2014. |
[02] | Hongjin Liang, Xinyu Feng, Ming Fu. “Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations”. ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 36, Issue 1, Article No. 3, March 2014. |
[03] | Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao. “Characterizing Progress Properties of Concurrent Objects via Contextual Refinements.” In Proc. 24th International Conference on Concurrency Theory (CONCUR'13), Buenos Aires, Argentina, pages 227-241, August 2013. |
[04] | Hongjin Liang, Xinyu Feng. “Modular Verification of Linearizability with Non-Fixed Linearization Points.” In Proc. 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'13), Seattle, USA, pages 459-470, June 2013. |
[05] | Hongjin Liang, Xinyu Feng, Ming Fu. “A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations.” In Proc. 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'12), Philadelphia, USA, pages 455-468, January 2012. |
[06] | 梁紅瑾,張昱,陳意雲,李兆鵬,華保健. “處理指針相等關係不確定的指針邏輯.” 軟體學報,2010,21(2):334-343. |
榮譽獎項
2015年獲中科院優秀博士論文獎。
梁紅瑾被美國麻省理工學院評選為2015年度電子與計算機領域“學術新星”（RisingStars），並受邀於11月8日-10日赴麻省理工學院參加“學術新星”研討會。
