1976年11月生,男,1999年获得北京大学数学学院理学学士,2002年获得中国科学院研究生院硕士学位,2007年获得加拿大西安大略大学博士学位。2005年获得ACM 最佳学生论文奖,2007获得教育部-留学基金委“优秀自费留学生奖”。有3年的北美高校科研教学工作经验和经历。目前主持国家自然科学基金、科学院西部之光联合学者项目。现为自动推理与认知研究中心副主任。
魏新林
何倩鸿
楼顺天
博导
吴元子
李锦华
硕导
资料审核中
您的资料已提交成功!
我们的工作人员会将会在3-5个工作日内和您联系