孙猛，男，博士，
北京大学数学科学学院教授、信息科学系副主任。
荣誉
2004年，孙猛获得AMAST'04最佳学生论文奖。
2014年，孙猛荣获
北京大学中国工商银行优秀教师奖。
2014年，他被评为北京大学优秀班主任。
2015年，孙猛获得TASE'15最佳论文奖。
2017年，孙猛获得SBMF'17最佳论文奖。
2022年，孙猛被评为北京大学优秀博士学位论文指导教师，指导的张喜悦的论文题目为《基于认证技术的深度学习系统可信性保障》。
参考文献：
人物生平
教育经历
参考资料：
工作经历
2002年-2003年，孙猛任
联合国大学国际软件技术研究所客座研究员；
2005年-2006年，孙猛任
新加坡国立大学计算学院博士后；
2006年-2010年，孙猛任荷兰数学与计算机科学研究中心研究员；
2008年，孙猛任
葡萄牙米尼奥大学信息科学系访问学者；
2008年，孙猛任
德累斯顿工业大学计算机科学系访问学者；
2010年-2012年，孙猛任
北京大学数学科学学院助理教授；
2011年，孙猛任
联合国大学国际软件技术研究所访问学者；
2012年-2017年，孙猛任北京大学数学科学学院副教授；
2017年，孙猛任北京大学数学科学学院教授。
参考资料：
主讲课程
2018年春，软件形式化方法，研究生
2017年春，软件形式化方法，研究生
2016年春，软件形式化方法，研究生
2016年秋，数据结构（
Python），15级本科生
2015年秋，数据结构（Python），14级本科生
2014年秋，数据结构（C），13级本科生
2013年秋，数据结构，12级本科生
2012年春，软件理论与方法选讲，研究生
2012年秋，数据结构，11级本科生
2011年春，软件理论与方法选讲，研究生
2011年春，本科生低年级讨论班（信息），09级本科生
2010年秋，数据结构，09级本科生
参考资料：
参考资料
个人简历.北京大学数学科学学院.2024-09-10