| 雷红轩，男，1967年生人，中共党员，教授，工学博士，CAAI会员。 主要研究方向为自动机理论、量子程序验证和量子模型检测、数据融合及应用。参与国家自然科学基金和主持省级、校级重点课题7项，在国内外学术期刊《Information Sciences》《Int. J.Theor Phys》《中国科学》《软件学报》《电子学报》《Chinese Journal of Electronics》等发表学术论文近50篇，其中SCI源刊或收录论文5篇，EI收录6篇，获省科学技术奖二等奖1项，省高等学校科学技术奖一等奖1项，申请软件著作权2项，实用新型专利1项。 主要承担《离散数学》《管理运筹学》《人工智能导论》等课程教学工作。 |
