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

孙猛 教授,博士生导师

北京大学数学科学学院信息与计算科学系

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

办公室:智华楼353

电话: +86-10-62768931

传真: +86-10-62751801

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

 
设为首页 加入收藏
 
版权所有:孙猛
Copyright ©2012-2022 
All Rights Reserved