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