u 拥有知识产权：
1.在可信性自动验证方面获国家版权局授予计算机软件著作权登记证书16项。
2.基于逻辑的自动推理理论的相关应用实现方法申报国家发明专利15项。
3.在序列搜索、通信系统、物联网多址接入、雷达（声呐）测距、分布式存储 、5G编码通信、MRI等应用领域获得（申报）国家发明专利14项。
4. 在可靠性工程、方案优化、大数据分析相关应用领域获得国家发明专利8项。
5. 完成及在研国家自然科学基金面上项目12项、青年基金项目22项；先后出版著作10部，发表高水平论文337篇（其中SCI检索182篇、高倍引论文16篇，EI论文155篇）。
