職稱：研究員
研究所：元宇宙技術研究所
研究領域：并行編程語言，異構并行軟件，形式化方法
辦公電話：86-10-6276 5818
電子郵件：cyfpku.edu.cn
并行編程語言，異構并行軟件，形式化方法
