孙猛于1999年和2005年分别在北京大学数学科学学院获得学士及博士学位.2002年3月至2003年7月在联合国大学国际软件技术研究所任客座研究员,2005到2006年在新加坡国立大学计算学院从事博士后研究,2006年至2010年在荷兰国家数学与计算机科学研究中心(CWI)任研究员,2008年在荷兰莱顿大学计算机系任兼职讲师.2010年6月到北京大学工作,现为北京大学数学科学学院信息科学系副主任,副教授,博士生导师.现主持国家自然科学基金和教育部博士点基金项目各一项,出版专著1部,主编国际会议文集2部,主编SCI期刊Science of Computer Programming关于组件软件的形式化主题专刊1期,在软件工程领域最顶级的国际会议ICSE,FSE等重要国际会议及专业期刊发表及录用论文近50篇,担任国际会议FACS'09,TTSS'11程序委员会主席及多个国际会议的程序委员会及指导委员会委员.