BIMSA > Wen Juan Li
Assistant Professor Wen Juan Li

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-06-26 17:29:01