博士，教授，浙江大学计算机学院院长，浙江大学软件所所长，入选2017年度教育部“长江学者奖励计划”特聘教授，入选第三批国家“万人计划”科技创新领军人才，2012年获得中创软件人才奖，入选2007度教育部新世纪人才支持计划。
