Wenjuan Li
Assistant Professor
Group: Artificial Intelligence and Machine Learning
Office: A3-2a-301
Email: liwj@bimsa.cn
Research Field: Mathematical Logic
Webpage: https://cardinalc.github.io/personalweb/
Research Interest
- Mathematical logic
- Theory of computation
Education Experience
- 2006 - 2010 Xi'an University of Technology Accounting Bachelor
- 2010 - 2013 Xi'an University of Technology Management Science and Engineering MIM
- 2012 - 2014 Tohoku University Mathematical logic M.Sc.
- 2014 - 2018 Tohoku University Mathematical logic D.Sc.
Work Experience
- 2025 - BIMSA Assistant Research Fellow
- 2018 - 2020 Nanyang Technological University Research Fellow
- 2022 - 2024 BIMSA Postdoc
Honors and Awards
- 2017 Professor Fujino Incentive Award, Tohoku University
- 2018 Kawai Prize for doctoral dissertation, Kawai Mathematical Sciences Foundation
Publication
- [1] Wenjuan Li, and Kazuyuki Tanaka, Determinacy of probabilistic ω-languages with strict threshold semantics, accepted by 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] Jie Lian , ChenGuang Liu , Wenjuan Li , Juning Su and Hongquan Xue, Task dispatching in reconfigurable seru production systems to minimize total earliness and tardness, European Journal of Industrial Engineering, 16(3), 241-267 (2022)
- [5] 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
- [6] 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
- [7] Xiaoli Zhang, ChenGuang Liu, Wenjuan Li, Steve Evans, Yong Yin, Effects of key enabling technologies for seru production on sustainable performance, OMEGA-The International Journal of Management Science, 66, 290-307 (2017)
- [8] Jie Lian, ChenGuang Liu, Wenjuan Li, Steve Evans, Yong Yin, Formation of independent manufacturing cells with the consideration of multiple identical machines, International Journal of Production Research, 52, 1363-1400 (2014)
Update Time: 2025-02-15 10:35:18