- 伊人直播-伊人直播app
讲师（2010.6 - 2012.7）、副教授（2012.8-2017.7）、博士生导师（2013.8-）、教授（2017.8-）
- 荷兰莱顿大学计算机科学系兼职讲师 （2008.2 - 2008.10）
- 荷兰数学与计算机科学研究中心研究员 （2006.7 - 2010.6）
- 新加坡国立大学计算伊人直播
博士后 （2005.3 - 2006.4）
- 联合国大学国际软件技术研究所客座研究员 （2002.3 - 2003.5）
- 美国伊利诺伊大学香槟分校计算机科学系（2023.7 - 2023.8）
- 英国牛津大学计算机科学系（2023.6 - 2023.7）
- 澳大利亚Griffith大学智能系统研究所（2019.8）
- 荷兰数学与计算机科学研究中心（2018.5）
- 联合国大学政策导向电子管理中心（2014.10 - 2014.11）
- 联合国大学国际软件技术研究所（2011.7 - 2011.9）
- 德国德累斯顿工业大学计算机科学系（2008.10）
- 葡萄牙Minho大学信息科学系 （2003.3-2003.6，2008.4 - 2008.5，2008.9，2014.10-2014.11，2018.2）
- 伊人直播-伊人直播app
，1999.9-2005.1，硕博连读，2005年获应用数学博士学位，博士论文《余代数理论及其在构件化软件中的应用》
- 伊人直播-伊人直播app
，1995.9-1999.7，1999年获学士学位
- 伊人直播
技术物理系，1994.9-1995.7（1995年转入数学系（现数学科学伊人直播
））
- 2022年伊人直播
优秀博士学位论文指导教师（张喜悦《基于认证技术的深度学习系统可信性保障》）
- 2017年SBMF'17最佳论文奖
- 2016年黄廷方-信和青年杰出学者奖
- 2015年TASE’15最佳论文奖
- 2014年伊人直播
中国工商银行优秀教师奖
- 2014年伊人直播
优秀班主任
- 2004年AMAST‘04最佳学生论文奖
