一、个人概况
张文博,上海海洋大学信息学院副教授,硕士生导师,中国计算机学会形式化方法专委会执行委员,CCF YOCSEF上海通讯委员,上海市计算机学会理论计算机科学专委会委员。主持国家自然科学基金青年项目、上海市科委扬帆计划等多项省部级项目。
欢迎对形式化验证、人工智能应用感兴趣的同学联系我。联系方式:wbzhang@shou.edu.cn
二、毕业院校及专业
起止时间 | 学校/单位名称 | 主修专业 | 所获学位 | 导师 |
2014-09 ~ 2020-09 | 上海交通大学 | 软件工程 | 工学博士 | 傅育熙教授 |
2010-09 ~ 2014-07 | 东南大学 | 软件工程 | 工学学士 |
|
三、人才计划(含三海、启明星、扬帆等)
2021年入选上海市科委扬帆计划
四、研究方向
目前的主要研究兴趣包括形式化方法和可信人工智能的理论研究,人工智能在海洋学科中的应用研究。
五、主讲课程
离散数学、人工智能基础、程序设计基础
六、代表性论文
[1] Qi He, Zhenfeng Lan, Wei Song, Wenbo Zhang*, Yanling Du, Wei Zhao. MSPT: A Transformer-Based Model Using MultiScale Periodic Information for 10-30d Subseasonal Daily Sea Surface Temperature Forecasting. IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2025.
[2] Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang. Analyzing Divergence for Nondeterministic Probabilistic Models[J]. arXiv preprint arXiv:2403.00491, 2024.
[3] Wenbo Zhang, Xuefeng Xie, Yanling Du and Dongmei Huang. Speech preprocessing and enhancement based on joint time domain and time-frequency domain analysis. The Journal of the Acoustical Society of America, 155(6): 2580-2588, 2024.
[4] Zhongyun Zhang, Kundu Chen, Weiqi Guo and Wenbo Zhang*. The Principle of Staking: Formal Verification of Staking Smart Contract. In Proceedings of the 10th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA), 161-179, 2024.
[5] Wenbo Zhang. The Parametric Complexity of Bisimulation Equivalence of Normed Pushdown Automata. Frontiers of Computer Science, 16(4): 1-7, 2022.
[6] 张文博,陈思敏,魏立斐,宋巍,黄冬梅. 基于形式化方法的智能合约验证研究综述. 网络与信息安全学报8 (4), 12-28, 2022.
[7] Wenbo Zhang, Xian Xu, Qiang Yin and Huan Long. On the Interactive Power of Higher-order Processes Extended with Parameterization. Formal Aspects of Computing, 33(2): 151-183, 2021.
[8] Wenbo Zhang, Qiang Yin, Huan Long and Xian Xu. Bisimulation Equivalence of Pushdown Automata is Ackermann-Complete. In Proceedings of the 47th International Colloquium on Automata, Languages and Programming (ICALP), 141:1-14, 2020.
[9] Wenbo Zhang, Huan Long and Xian Xu. Uniform Random Process Model Revisited. In Proceedings of the 17th Asian Symposium on Programming Languages and Systems (APLAS), 388-404, 2019.
[10] 张文博, 龙环. 向量加法系统验证问题研究综述. 软件学报, 29(6), 2018.