梁红瑾

阅读量:17
xiayu

梁红瑾

 

梁红瑾的博士论文《并发程序精化验证及其应用》研究多线程并发程序的正确性刻画与验证方法,创新性地提出了模块化验证并发程序精化的技术,并已应用于验证并发垃圾收集算法、并发对象等。研究成果发表在POPL、PLDI、TOPLAS、CSL-LICS等国际顶级会议和期刊上。攻博期间,曾获得“微软学者”、“中科院院长特别奖”、“中科院优博论文”等多项荣誉。

培养单位:中国科学技术大学,导师:冯新宇教授

<<< 上一篇   张兰
<<< 下一篇 陈全
读完这篇文章后,您心情如何?