雷红轩

发布者:蔡小波发布时间:2022-04-04浏览次数:906


雷红轩,男,1967年生人,中共党员,教授,工学博士,CAAI会员。

主要研究方向为自动机理论、量子程序验证和量子模型检测、数据融合及应用。参与国家自然科学基金和主持省级、校级重点课题7项,在国内外学术期刊《Information Sciences》《Int. J.Theor Phys》《中国科学》《软件学报》《电子学报》《Chinese Journal of Electronics》等发表学术论文近50篇,其中SCI源刊或收录论文5篇,EI收录6篇,获省科学技术奖二等奖1项,省高等学校科学技术奖一等奖1项,申请软件著作权2项,实用新型专利1项。

主要承担《离散数学》《管理运筹学》《人工智能导论》等课程教学工作。

Baidu
sogou