所属大学: 北京大学
所属学院: 信息科学技术研究所
邮箱: cyf@pku.edu.cn
个人主页: https://cs.pku.edu.cn/info/1057/1263.htm
并行编程语言，异构并行软件，形式化方法