导师个人介绍

孙猛

  

  孙猛,澳门皇冠金沙网站教授,信息科学系副主任,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国际会议最佳学生论文奖。

XML 地图 | Sitemap 地图