雷紅軒, 男，漢族，中共黨員，1967年1月出生，陝西洋縣人，畢業於陝西師範大學計算機軟體與理論專業，獲工學博士學位，現任內江師範學院計算機科學與技術專業教授。
曾獲得內江師範學院2007-2008學年度優秀教師，2008-2010學年度優秀共產黨員稱號。為內江師範學院第二批“重點人才工程”優秀青年骨幹教師，第三批第四批“重點人才工程”學科帶頭人後備人選。
2012年獲得陝西省科學技術獎貳等獎（2011-2-095-R4）。
基本介紹
- 中文名：雷紅軒
- 民族：漢族
- 出生日期：1967年1月
- 畢業院校：陝西師範大學
人物簡介,論文論著,
人物簡介
曾主講過《高等代數》、《近世代數》、《運籌學》、《高等代數選講》等課程。在課程建設方面，2006年主持並完成內江師範學院教改項目“‘運籌與最佳化’課程中自動機理論滲透的教學研究”；2013年主持內江師範學院專業核心課程“算法設計與分析”。在科研和學科建設方面，2006年主持並完成內江師範學院重點科研項目“基於多值邏輯的模糊自動機理論的研究”；2009年主持並完成四川省教育廳重點科研項目“面向複雜系統智慧型計算與最佳化的模糊數學基礎研究”；2014年主持四川省教育廳重點科研項目“非確定型量子程式和並發量子程式的終止驗證”。
主要研究領域為自動機理論、量子程式驗證和量子模型檢測。現已在國內外期刊《Information Sciences》、《軟體學報》、《電子學報》、《計算機科學》、《數學雜誌》、《計算機工程與套用》等上發表學術論文30餘篇。
論文論著
1. Minimization of states in automata theory based on finite lattice-ordered monoids. Information Sciences, 2007, 177(6): 1413-1421. 第一作者.
2. 量子最弱自由前置條件的交換性及其性質. 軟體學報, 2013, 24(5): 933−941. 第一作者.
3. 廣義量子Loop程式的若干性質. 電子學報, 2013, 41(4): 727-732. 第一作者.
4. 幾種量子程式終止的有效驗證. 計算機科學, 2012, 39(11):75-78. 第一作者.
5. 基於格半群的有限狀態自動機的同態. 數學雜誌, 2011, 31(6): 1074-1078. 第一作者.
6. 格值有限狀態自動機的半群. 計算機工程與套用, 2010, 46(25): 49-50. 第一作者.
7. 格值有限狀態機子機的構造算法. 計算機工程與套用，2010，46(26): 34-35,124. 第一作者；
8. 格值有限狀態自動機的同態和商自動機. 計算機工程與套用, 2010, 46(27): 52-53,127. 第一作者.
