张文博(副教授)

发布者:张程冬发布时间:2025-06-04浏览次数:10


一、个人概况

张文博,上海海洋大学信息学院副教授,硕士生导师,中国计算机学会形式化方法专委会执行委员,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.