1981年12月出生,男,2003年本科毕业于山东科技大学应用数学专业,2006年硕士毕业于北京大学数学科学学院,2011年获得加拿大西安大略大学计算机科学博士学位。博士期间曾获得西安大略大学研究生论文奖,Mitacs-Maplesoft联合实习生奖,西安大略大学学术发展奖等。其作为主要负责人之一开发的RegularChains软件获得美国计算机科学学会颁发的杰出软件演示奖。目前主持国家自然科学基金青年项目1项。