Biography

Research Interest

• Mathematical logic
• Theory of computation

Education Experience

• 2014 - 2018 | Tohoku University | Mathematical logic | D.Sc.
• 2012 - 2014 | Tohoku University | Mathematical logic | M.Sc.
• 2010 - 2013 | Xi'an University of Technology | Management Science and Engineering | MIM
• 2006 - 2010 | Xi'an University of Technology | Accounting | Bachelor

Work Experience

• 2025 - -- | BIMSA | Assistant Research Fellow
• 2022 - 2024 | BIMSA | Postdoc
• 2018 - 2020 | Nanyang Technological University | Research Fellow

Honors and Awards

• 2018 | Kawai Prize for doctoral dissertation, Kawai Mathematical Sciences Foundation
• 2017 | Professor Fujino Incentive Award, Tohoku University

Publication

• [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