【个人简介】

  张文博，上海海洋大学信息学院副教授，硕士生导师。英国牛津大学访问学者（2025年12月至2026年12月）。中国计算机学会（CCF）高级会员。CCF形式化方法专委会执行委员，CCF YOCSEF上海通讯委员，上海市计算机学会理论计算机科学专委会委员。主持国家自然科学基金青年项目、上海市科委扬帆计划等多项省部级项目。

【研究领域】

 形式化验证、人工智能安全等