个人简介

研究兴趣

• 数理逻辑
• 计算理论

教育经历

• 2014 - 2018 | 日本东北大学 | 数理逻辑 | 理学博士
• 2012 - 2014 | 日本东北大学 | 数理逻辑 | 理学硕士
• 2010 - 2013 | 西安理工大学 | 管理科学与工程 | 管理学硕士
• 2006 - 2010 | 西安理工大学 | 会计学 | 学士

工作经历

• 2025 - -- | 北京雁栖湖应用数学研究院
• 2022 - 2024 | 北京雁栖湖应用数学研究院 | 博士后
• 2018 - 2020 | 南洋理工大学 | 博士后

荣誉与奖项

• 2018 | 博士論文川井賞，川井数理科学财团
• 2017 | 藤野先生記念奨励賞，日本东北大学

出版物

• [1] Wenjuan Li, and Kazuyuki Tanaka, Determinacy of probabilistic ω-languages with strict threshold semantics, RIMS Kokyuroku (2024)
• [2] Kazuyuki Tanaka, NingNing Peng, Weiguang Peng, and Wenjuan Li, The equilibria of independent distributions on unbalanced game trees, Computational and Applied Mathematics, 43(5), No. 267 -- 16 pages (2024)
• [3] Jie Lian, Wenjuan Li, Guoli Pu, Pengwei Zhang , Bi-objective energy-efficient scheduling in a seru production system considering reconfiguration of serus, Sustainable Computing: Informatics and Systems, 39, 100900 (2023)
• [4] Wenjuan Li, and Kazuyuki Tanaka, Second-order logic and related systems: a game-semantical perspective, Mathematical Logic and its Applications (SAML), RIMS Kokyuroku, 2233(2022), 1-19
• [5] Leonardo Pacheco, Wenjuan Li, and Kazuyuki Tanaka, On one-variable fragments of modal µ-calculus, Computability Theory and Foundations of Mathematics 2019 (Wuhan), World-Scientific(2022), 17-45