职称：研究员
研究所：元宇宙技术研究所
研究领域：并行编程语言，异构并行软件，形式化方法
办公电话：86-10-6276 5818
电子邮件：cyfpku.edu.cn
并行编程语言，异构并行软件，形式化方法
