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