Beijing Institute of Mathematical Sciences and Applications Beijing Institute of Mathematical Sciences and Applications

  • About
    • President
    • Governance
    • Partner Institutions
    • Visit
  • People
    • Management
    • Faculty
    • Postdocs
    • Visiting Scholars
    • Staff
  • Research
    • Research Groups
    • Courses
    • Seminars
  • Join Us
    • Faculty
    • Postdocs
    • Students
  • Events
    • Conferences
    • Workshops
    • Forum
  • Life @ BIMSA
    • Accommodation
    • Transportation
    • Facilities
    • Tour
  • News
    • News
    • Announcement
    • Downloads
About
President
Governance
Partner Institutions
Visit
People
Management
Faculty
Postdocs
Visiting Scholars
Staff
Research
Research Groups
Courses
Seminars
Join Us
Faculty
Postdocs
Students
Events
Conferences
Workshops
Forum
Life @ BIMSA
Accommodation
Transportation
Facilities
Tour
News
News
Announcement
Downloads
Qiuzhen College, Tsinghua University
Yau Mathematical Sciences Center, Tsinghua University (YMSC)
Tsinghua Sanya International  Mathematics Forum (TSIMF)
Shanghai Institute for Mathematics and  Interdisciplinary Sciences (SIMIS)
BIMSA > Wen Juan Li

Wen Juan Li

     Assistant Professor    
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-04 14:44:07


Beijing Institute of Mathematical Sciences and Applications
CONTACT

No. 544, Hefangkou Village Huaibei Town, Huairou District Beijing 101408

北京市怀柔区 河防口村544号
北京雁栖湖应用数学研究院 101408

Tel. 010-60661855
Email. administration@bimsa.cn

Copyright © Beijing Institute of Mathematical Sciences and Applications

京ICP备2022029550号-1

京公网安备11011602001060 京公网安备11011602001060