个人简介

1976年11月生，男，1999年获得北京大学数学学院理学学士，2002年获得中国科学院研究生院硕士学位，2007年获得加拿大西安大略大学博士学位。2005年获得ACM 最佳学生论文奖，2007获得教育部-留学基金委“优秀自费留学生奖”。有3年的北美高校科研教学工作经验和经历。目前主持国家自然科学基金、科学院西部之光联合学者项目。现为自动推理与认知研究中心副主任。