【人物简介】

　　韩召伟，讲师。2003年7月本科毕业于陕西师范大学数学与信息科学学院，留校任教，主讲《微积分》、《大学文科数学》、《高等数学》等本科课程。期间分别于2007年7月获得陕西师范大学基础数学硕士学位，2011年7月获得陕西师范大学计算机软件与理论博士学位。主要从事量子计算与量子逻辑、计算机软件与理论和模糊自动机理论方面的研究工作。

【研究方向】

计算智能、量子计算与量子逻辑。

【研究成果】

【科研项目】

　　2013.1 -2013.12 量子Büchi自动机的等价刻画 国家自然科学基金数学天元专项基金 　　2008.1-2009.12 基于量子逻辑的计算理论 陕西师范大学青年科技项目

【论文著作】

　　1.韩召伟，李永明. 模糊Büchi自动机的等价刻画, 计算机学报, 已录用. 　　2.韩召伟, 李永明. 基于量子逻辑的下推自动机与上下文无关文法, 软件学报, 2010,21(9): 2107-2117. 　　3.韩召伟, 李永明. 格值Mealy自动机的同余和同态，模糊系统与数学，2007，21(2)，53-64. 　　4.韩召伟. 量子无穷正则语言的代数性质,陕西师范大学学报(自然科学版), 2012, 40(5): 9-13. 　　5.韩召伟, 韩召莹. Lukasiewicz逻辑值上下文无关语言的代数刻画, 计算机工程与应用, 2011, 47 (3): 47-50. 　　6.韩召伟, 李永明. 基于量子逻辑的下推自动机的代数刻画, 计算机工程与科学, 2008, 30(11): 72-74.