中国·9001金沙以诚为本(股份有限公司)-Official website

基本情况

2012年7月毕业于陕西师范大学数学学院，获博士学位，同时留校在陕西师范大学9001金沙以诚为本工作。2018年10月-2019年11月在美国丹佛大学数学系做访问学者。主要从事序拓扑、非经典逻辑与Ramsey理论的研究工作。

代表性学术论文

• 1. Natasha Dobrinen, Wang Kaiyun*, Big Ramsey degrees in universal inverse limit structures, Archive for Mathematical Logic, 2023, 62: 471-503.

• 2. He Zhengmao, Wang Kaiyun*, A compact space is not always SI-compact, Rocky Mountain Journal of Mathematics, 2022, 52(6): 2041-2051.

• 3. Lu Jing, Wang Kaiyun*, Wu Guohua, Zhao Bin, Nonexistence of k-bounded sobrification, Houston Journal of Mathematics, 2022, 48(4): 827-842.

• 4. Lu Jing, Zhao Bin, Wang Kaiyun*, Zhao Dongsheng, Quasicontinuous spaces, Commentationes Mathematicae Universitatis Carolinae, 2022, 63(4): 513–526.

• 5. Zhao Bin, Lu Jing, Wang Kaiyun*, Irreducible convergence in T0 spaces, Rocky Mountain Journal of Mathematics, 2020, 50(1): 337-353.
  

• 6. Wu Hongwei, Zhao Bin, Wang Kaiyun*, Some further results on free quantale algebras, Fuzzy Sets and Systems, 2020, 382: 142-147.

• 7. Lu Jing, Zhao Bin, Wang Kaiyun*, SI-continuous spaces and continuous posets, Topology and its Applications, 2019, 264: 313-321.

• 8. Zhao Bin, Lu Jing, Wang Kaiyun*, The answer to a problem posed by Zhao and Ho, Acta Mathematica Sinica, English Series, 2019, 35(3): 438-444.

• 9. Zhang Yujing, Wang Kaiyun*, Bounded sobriety and k-bounded sobriety of Q-cotopological spaces, Filomat, 2019, 33(7): 2095-2106.

• 10. Lu Jing, Wang Kaiyun, Zhao Bin, Equivalence relations induced by the U-partial order, Fuzzy Sets and Systems, 2018, 334: 73-82.

• 11. Wang Kaiyun, Zhao Bin, A representation theorem for Girard Q-algebras, Journal of Multiple-Valued Logic and Soft Computing, 2017, 29: 25-41.

• 12. Zhao Bin, Lu Jing, Wang Kaiyun*, Adjoint relations for the category of local dcpos, in Special issue on the Occasion of Banaschewski's 90th Birthday, Categories and General Algebraic Structures with Applications, 2017, 7: 89-105.

• 13. Zhao Bin, Wu Supeng, Wang Kaiyun*, Quantale algebras as lattice-valued quantales, Soft Computing, 2017, 21: 2561-2574.

• 14. Zhao Bin, Xia Changchun, Wang Kaiyun*, Topological semigroups and their prequantale models, Filomat, 2017, 31(19): 6205-6210.

• 15. Lu Jing, Wang Kaiyun, Zhao Bin, K-flat projective fuzzy quantales, Iranian Journal of Fuzzy Systems, 2017, 14(5): 65-81.

• 16. Wang Kaiyun, Zhao Bin, On embeddings of Q-algebras, Houston Journal of Mathematics, 2016, 42: 73-90.

• 17. 鲁静, 汪开云*, 赵彬, Z-Quantale的进一步结果, 数学学报(中文版), 2015, 58: 911-922.

• 18. Wang Kaiyun, Zhao Bin, Some further results on order-convergence in posets, Topology and its Applications, 2013, 160: 82-86.

• 19. Wang Kaiyun, Zhao Bin, Join-completions of L-ordered sets, Fuzzy Sets and Systems, 2012, 199: 92-107.

• 20. Zhao Bin, Wang Kaiyun, Order topology and bi-Scott topology on a poset, Acta  Mathematica Sinica, English Series, 2011, 11: 2101-2106.

• 21. 汪开云, 赵彬, Z-Quantale及其范畴性质, 数学学报(中文版), 2010, 53: 997-1006.

教育科研项目

• 1. 国家自然科学基金重点项目：格值蕴涵算子与Domain理论中的若干问题，12331016，2024.1.1-2028.12.31，在研，参与.

• 2. 国家自然科学基金面上项目：Domain理论与Quantale代数的相关问题研究，11871320，2019.1.1-2022.12.31，已结题，主持.

• 3. 国家自然科学基金青年基金项目：Domain与Quantale理论中的拓扑结构以及模糊集方法的应用，11301316，2014.1.1-2016.12.31，已结题，主持.

• 4. 国家自然科学基金重点项目: 复杂推理的序、代数和逻辑方法及其计量化模型，11531009，2016.1.1-2020.12.31，参与.

教育科研奖励

• 1. 2023年获陕西高等学校科学研究优秀成果奖特等奖(第三完成人).

• 2. 2020年度陕西省青年科技新星.

• 3. 2014年获得陕西省数学会青年教师优秀论文奖一等奖.

讲授课程

本科生：高等数学，线性代数，一般拓扑学

研究生：Domain理论，范畴论，格与拓扑，格值序理论