梁红瑾
梁红瑾的博士论文《并发程序精化验证及其应用》研究多线程并发程序的正确性刻画与验证方法，创新性地提出了模块化验证并发程序精化的技术，并已应用于验证并发垃圾收集算法、并发对象等。研究成果发表在POPL、PLDI、TOPLAS、CSL-LICS等国际顶级会议和期刊上。攻博期间，曾获得“微软学者”、“中科院院长特别奖”、“中科院优博论文”等多项荣誉。
培养单位：中国科学技术大学，导师：冯新宇教授
匿名评论 所有评论仅代表网友意见
返回首页
京公网安备 11010802032778号 京ICP备13000930号-4
所有评论仅代表网友意见