BLOG入口
软件理论与形式化方法课题组拟招收2018年入学直博生和硕士生,欢迎感兴趣的同学和我联系。

孙猛 副教授,博士生导师

北京大学数学科学学院信息科学系

北京市海淀区颐和园路5号,北京大学数学科学学院,100871

办公室:理科一号楼1382E

电话: +86-10-62768931

传真: +86-10-62751801

电邮: sunmeng x math [dot] pku [dot] edu [dot] cn [@/x]

Who's next?
 
设为首页 加入收藏
 
版权所有:孙猛
Copyright ©2012-2015 
All Rights Reserved