孫猛，男，博士，北京大學數學科學學院教授、信息科學系副主任。
榮譽
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