k-generated implication and its applications-申请方

周红军

周红军，陕西师范大学数学与统计学院院长、教授、博士生导师，陕西省三秦英才特支计划科技创新领军人才，陕西省中青年科技创新领军人才，陕西省青年科技新星，陕西省杰出青年基金获得者，国家级一流课程负责人，陕西省课程思政示范课与教学团队负责人。任中国数学会理事、陕西省数学会副理事长、中国系统工程学会模糊数学与模糊系统专委会秘书长、中国逻辑学会非经典逻辑与计算专委会秘书长、高等教育学会教育数学专委会常务委员等。主要从事序代数与逻辑研究，主持国家自然科学基金5项，教育部博士点、陕西省人才计划、陕西省杰出青年基金、陕西省青年科技新星计划等省部级项目5项；主持高教学会、中国科协、陕西省教育厅、高等学校大学数学教学研究与发展中心等教改项目6项。主编出版科学社专著2部，高教社新形态与数字版教材1部，获陕西省自然科学奖二等奖 (1/3)，陕西省教学成果奖二等奖 (1/5, 2/5, 3/5)，第六届全国高校教师教学创新大赛二等奖、陕西省与校级教创赛一等奖，校级教学标兵与教学名师等。