2015年7月毕业于西北大学数学学院, 获博士学位, 同年进入陕西师范大学数学与信息科学学院工作, 2018年8月至2019年8月在美国Vanderbilt大学数学系做访问学者。现为基础数学专业的硕士研究生导师, 美国《数学评论》评论员, 中国逻辑学会非经典逻辑与计算专委会委员, 中国人工智能学会人工智能逻辑专委会委员。研究方向：序代数、逻辑代数、泛代数与非经典逻辑。