基本情况：

男，博士、教授，2015年7月毕业于中国科学院成都计算机应用研究所，获计算机软件与理论专业博士学位。

研究方向：

（1）基于形式化方法的并发系统建模与性质验证方面的研究，具体研究领域包括：基于数据流的事件结构模型，基于计算机代数的等价计算方法，事件结构的层次化方法以及在层次化下等价的可保持性等理论；

（2）粗糙数据推理研究及应用，具体研究内容包括：在Pawlak粗糙集的理论基础上构建变精度粗糙集模型，基于粗糙集模型和非经典逻辑研究构建粗糙集逻辑学、知识推理逻辑学以及知识表达逻辑等。

科研情况：

主持完成国家自然科学基金地区基金项目1项，主持完成广西自科面上项目1项，主持完成广西高校科学技术重点研究项目1项，参与国家自然科学基金项目2项。发表学术研究论文30余篇，其中SCI/EI收录20篇，出版专著/教材3部，获国家发明专利授权5项，国际发明专利授权1项，获软件著作权登记10项。

主要授课课程：

《Java网络编程》、《移动软件开发》、《离散数学》、《Python网络爬虫》、《Java Web应用开发》等。已培养毕业硕士研究生12人（其中3人已读博）。