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