BIMSA > 李文娟
博士后 李文娟

团队: 人工智能和机器学习

办公室: A3-1a-304

邮箱: liwj@bimsa.cn

研究方向: 数理逻辑

个人主页: https://cardinalc.github.io/personalweb/

研究兴趣

  • 数理逻辑
  • 计算理论

教育经历

  • 2006 - 2010      西安理工大学      会计学      学士
  • 2010 - 2013      西安理工大学      管理科学与工程      管理学硕士
  • 2012 - 2014      日本东北大学      数理逻辑      理学硕士
  • 2014 - 2018      日本东北大学      数理逻辑      理学博士

工作经历

  • 2018 - 2020      南洋理工大学      博士后研究员
  • 2022 -      北京雁栖湖应用数学研究院      博士后

荣誉与奖项

  • 2017      藤野先生記念奨励賞，日本东北大学
  • 2018      博士論文川井賞，川井数理科学财团

出版物

  • [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(2024), 5, 267
  • [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

 

更新时间: 2024-09-12 17:18:08