致力于计算机软件与理论的教学与科学研究，在递归论，计算复杂性理论，计算机算法与密码，计算机逻辑等方面在国内外著名学术刊物发表论文数十篇，著有专著《可计算性理论导引》一部，主编《操作系统》《计算机科学》等著作多部，是贵州大学《计算机软件与理论》专业硕士点的学术带头人，培养硕士生数十名。 中国撰有论文《可计算性理论导引》《递归可表现拓扑空间中处处非递归可枚举集》（英文）。