韓召偉

韓召偉，男，博士，陝西師範大學數學與信息科學學院副教授、碩士生導師。

基本介紹

• 中文名：韓召偉
• 畢業院校：陝西師範大學
• 學位/學歷：博士
• 職業：教師
• 職務：陝西師範大學數學與信息科學學院碩士生導師
• 任職院校：陝西師範大學數學與信息科學學院

個人經歷

1999-2003年, 在陝西師範大學數學與信息科學學院獲數學與套用數學專業學士學位,同年留校任教;

2004-2007年, 在陝西師範大學數學與信息科學學院獲基礎數學專業碩士學位,

2007-2011年, 在陝西師範大學計算機科學學院獲計算機軟體與理論專業博士學位,

研究方向

量子計算與量子邏輯、計算機軟體與理論和模糊自動機理論.

主講課程

本科生：高等數學、微積分、文科高等數學、線性代數、機率論與數理統計.

學術成果

論文、專著

1. 韓召偉, 李永明. 量子Müller自動機與單體二階量子邏輯, 軟體學報,

2. 韓召偉. 量子Büchi自動機的代數及邏輯刻畫, 電子學報,

3. 韓召偉, 李永明. 模糊Büchi自動機的等價刻畫, 計算機學報,

4. 韓召偉, 李永明. 基於量子邏輯的下推自動機與上下文無關文法, 軟體學報,

5. 韓召偉, 李永明. 格值Mealy自動機的同餘和同態，模糊系統與數學，

6. 韓召偉. 量子無窮正則語言的代數性質,陝西師範大學學報(自然科學版),

7. 韓召偉, 李永明. 基於量子邏輯的下推自動機的代數刻畫, 計算機工程與科學,

8. 韓召偉, 韓召瑩. Lukasiewicz邏輯值上下文無關語言的代數刻畫, 計算機工程與套用,

9. 宋小震, 韓召偉, 李永明. 量子上下文無關文法的代數性質, 計算機工程與套用,

科研項目

1. 2015.1月1日-2017年12月31日, 國家自然科學基金青年科學基金項目

2. 2013.1月1日-2013年12月31日, 國家自然科學基金數學天元專項基金項目

3. 2014.1月1日-2015年12月31日, 陝西師範大學中央高校基本科研業務費項目

4. 2008.1月1日-2009年12月31日, 陝西師範大學青年科技項目