- 北京大学数学科学学院教授（08.2017-）
- 北京大学数学科学学院博士生导师（08.2013-）
- 北京大学数学科学学院副教授（08.2012-2017.07）
- 联合国大学国际软件技术研究所访问学者 （07.2011 - 09.2011）
- 北京大学数学科学学院讲师（06.2010 - 07.2012）
- 荷兰莱顿大学计算机科学系兼职讲师 （02.2008 - 10.2008）
- 德国德累斯顿工业大学计算机科学系访问学者 （10.2008）
- 葡萄牙米尼奥大学信息科学系访问学者 （04.2008-05.2008, 09.2008）
- 荷兰数学与计算机科学研究中心研究员 （07.2006 - 06.2010）
- 新加坡国立大学计算学院博士后 （03.2005 - 04.2006）
- 联合国大学国际软件技术研究所客座研究员 （03.2002 - 05.2003）
- 北京大学数学科学学院，博士, 2005.1
- 北京大学数学科学学院，学士, 1999.7
- 2022年北京大学优秀博士学位论文指导教师（张喜悦《基于认证技术的深度学习系统可信性保障》）
- 2017年SBMF'17最佳论文奖
- 2016年黄廷方-信和青年杰出学者奖
- 2015年TASE’15最佳论文奖
- 2014年北京大学中国工商银行优秀教师奖
- 2014年北京大学优秀班主任
- 2004年AMAST‘04最佳学生论文奖
