2008年7月毕业于中国科学院计算技术研究所，获工学博士学位；2011年12月获教授职称。2013年8月至2014年7月在英国曼彻斯特大学计算机学院作访问学者。2015年6月至2020年12月先后担任计算机与信息安全学院副院长、院长。2020年12月至今任学校教务处处长。

兼任广西可信软件重点实验室主任、广西人工智能学会副理事长、广西计算机学会副理事长、广西软件行业协会副理事长、广西本科高校计算机类教学指导委员会秘书长；担任桂林电子科技大学计算机科学与技术国家级一流专业建设点负责人。

主讲课程：
[1] 离散数学 （本科专业基础必修课，国家级精品课程）
[2] 计算机科学导论 （本科基础必修课，国家级精品课程）

数据与知识工程, 形式化方法