团队: 人工智能和机器学习
办公室: A3-2a-301
邮箱: liwj@bimsa.cn
研究方向: 数理逻辑
个人主页: https://cardinalc.github.io/personalweb/
研究兴趣
- 数理逻辑
- 计算理论
教育经历
- 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
更新时间: 2025-10-27 15:00:05