职称：副教授
研究所：软件研究所
研究领域：软件工程、程序设计语言
办公电话：86-10-62759074
电子邮件：zhangw.seipku.edu.cn
职称：助理教授
研究领域：程序设计语言，软件工程，高可靠人工智能
办公电话：86-10-62757670
电子邮件：xinpku.edu.cn
pku.edu.cn