1997年在江西师范大学计算机科教专业学习， 2004年于计算机软件与理论专业硕士研究生毕业，并留校任教，同年攻读中国科学院软件研究所博士学位。在教学方面，本人一直担任高年级计算机专业的教学工作，曾担任教学的课程包括 “程序设计方法学”、“算法设计与分析” 、“面向对象程序设计与C++”、“高级语言程序设计”等，另外，本人参与了即将由高教出版社出版的《程序设计方法学》教材的编写工作。在科研方面，本人的研究方向为软件形式化与自动化、算法设计与程序设计，作为骨干成员参与多项国家自然科学基金课题及省自然科学基金课题的研究，目前主持校课题一项，在国家核心期刊或国际会议上发表论文若干篇。