个人简介
2009年获得电子科技大学计算机应用技术专业学士学位，同年进入电子科技大学信息安全专业攻读硕士学位，2014年获得九州大学信息科学专业博士学位。 教学情况： 计算机网络原理，Python语言程序设计，大学计算机，网络空间安全技术，计算机专业英语，程序综合设计。 科研情况： 公开发表论文15篇，其中以第一作者或通讯作者公开发表国际会议论文5篇，国际期刊论文5篇，主持和参与各类科研项目4项。
研究领域
研究方向：自动推理，形式化方法
2009年获得电子科技大学计算机应用技术专业学士学位，同年进入电子科技大学信息安全专业攻读硕士学位，2014年获得九州大学信息科学专业博士学位。 教学情况： 计算机网络原理，Python语言程序设计，大学计算机，网络空间安全技术，计算机专业英语，程序综合设计。 科研情况： 公开发表论文15篇，其中以第一作者或通讯作者公开发表国际会议论文5篇，国际期刊论文5篇，主持和参与各类科研项目4项。
研究方向：自动推理，形式化方法