| 雷紅軒，男，1967年生人，中共黨員，教授，工學博士，CAAI會員。 主要研究方向為自動機理論、量子程序驗證和量子模型檢測、數據融合及應用。參與國家自然科學基金和主持省級、校級重點課題7項，在國内外學術期刊《Information Sciences》《Int. J.Theor Phys》《中國科學》《軟件學報》《電子學報》《Chinese Journal of Electronics》等發表學術論文近50篇，其中SCI源刊或收錄論文5篇，EI收錄6篇，獲省科學技術獎二等獎1項，省高等學校科學技術獎一等獎1項，申請軟件著作權2項，實用新型專利1項。 主要承擔《離散數學》《管理運籌學》《人工智能導論》等課程BET体育工作。 |
