孙猛，北京大学数学科学学院教授，信息科学系副主任，2005年于北京大学数学科学学院获博士学位，2005-2006年在新加坡国立大学计算学院任博士后，2006-2010年在荷兰数学与计算机科学研究中心（CWI）任研究员，2008年在莱顿大学LIACS任兼职讲师，2010年回国入职北京大学。主要研究领域为软件理论、形式化方法、人工智能、数据科学与信息安全。在IEEE Transactions on Software Engineering、Theoretical Computer Science、Science of Computer Programming、ICSE、FSE、FM、Coordination等重要国际期刊和会议发表论文70余篇，曾获2017年SBMF国际会议最佳论文奖、2015年TASE国际会议最佳论文奖、2004年AMAST国际会议最佳学生论文奖。