基本情况：
出生年月：1980年3月
专 业：基础数学
学 位：博士
毕业院校：陕西师范大学
研究方向：不确定性推理
职 称：副教授
工作简况：
2003年7月毕业于陕西师范大学数学与信息科学学院，获理学学士学位；同年被推荐为陕西师范大学基础数学专业免试硕士研究生，师从王国俊教授学习； 2005年6月被选为硕博连读生，继续师从王国俊教授攻读博士学位； 2009年6月获得博士学位，同时留校在数学与信息科学学院工作； 2011年1月破格晋升副教授。
在科研方面，主要从事多值逻辑与不确定性推理研究。已在国际SCI源期刊《Fuzzy Sets and Systems》、《International Journal of Approximate Reasoning》、《Information Sciences》以及国内权威期刊《中国科学F》、《数学学报》、《软件学报》等发表学术论文20余篇。已主持完成陕西师范大学优秀博士学位论文基金1项；主持国家自然科学基金青年项目、教育部高等学校博士学科点专项科研基金新教师类项目、陕西省自然科学基础研究计划项目、中央高校基本科研业务费专项基金项目、陕西师范大学青年科技项目各1项；另外，参与国家自然科学基金面上项目2项，教育部高等学校博士学科点专项科研基金博导类项目1项。
在教学方面，主要为物理专业本科生上《高等数学》<一>（3，4册）等2门课程。
代表作：
英文专著：
Guojun Wang, Hongjun Zhou. Introduction to Mathematical Logic and Resolution Principle. Co-published by Science Press （Beijing） and Alpha International Science Ltd (Oxford)，2009.
学术论文：
1. 周红军, 王国俊. Borel型概率计量逻辑. 中国科学F辑：信息科学, 即将发表.
2. Hongjun Zhou, Bin Zhao. Stone-like representation theorems and three-valued filters in R0-algebras (nilpotent minimum algebras). Fuzzy Sets and Systems, 2011, 162 (1)1–26.
3. Guojun Wang, Hongjun Zhou. Quantitative logic. Information Sciences, 2009, 179(3): 226-247.
4. Hongjun Zhou, Guojun Wang. Three and two-valued Lukasiewicz theories in the formal deductive system L∗(NM-logic). Fuzzy Sets and Systems, 2008, 159(22): 2970-2982.
5. Hongjun Zhou, Guojun Wang. Characterizations of maximal consistent theories in the formal deductive system L∗(NM-logic) and Cantor Space. Fuzzy Sets and Systems, 2007, 158(23): 2591-2604.
6. Hongjun Zhou, Guojun Wang. Generalized consistency degrees of theories in several standard complete logic systems. Fuzzy Sets and Systems, 2006, 157(15): 2058-2073.
7. Hongjun Zhou, Guojun Wang. Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic. International Journal of Approximate Reasoning, 2006, 43(2): 117-132.
8. Hongjun Zhou, Guojun Wang. A new theory consistency index based on deduction theorems in several logic systems. Fuzzy Sets and Systems, 2006, 157(3): 427-443.
9. 王国俊, 周红军. MV-代数的度量化研究及其在Lukasiewicz命题逻辑中的应用. 数学学报2009, 52(3): 501-514.
10. 周红军, 王国俊. 逻辑系统NMG的满足性和紧致性. 软件学报，2009, 20(3): 515-523.
