导师个人介绍

孙猛

  

  孙猛,williamhill官网教授,信息科学系副主任,2005年于williamhill官网获博士学位,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国际会议最佳员工论文奖。