金钊，1990年12月，副教授，硕士生导师

教育经历：

北京大学  计算机软件与理论  理学博士  2016.09-2022.07

兰州大学  计算机技术  工学硕士  2013.09-2016.07

兰州大学  计算机科学与技术  工学学士  2009.09-2013.07

研究方向：

形式化验证、知识表示与推理、可信人工智能、高可信智能决策

代表性论文：

[1] Zhao Jin, Bowen Zhang, Lei Zhang, Yongzhi Cao, Hanpin Wang. “An adaptation-complete proof system for local reasoning about cloud storage systems”. Theoretical Computer Science. 2022, 903: 39-73.

[2] Zhao Jin, Bowen Zhang, Tianyue Cao, Yongzhi Cao, Hanpin Wang. “Reasoning about block-based cloud storage systems via separation logic”. Theoretical Computer Science. 2022, 936: 43-76.

[3] Tianyue Cao, Zhao Jin, Bowen Zhang, Yongzhi Cao, Hanpin Wang, “Expressive completeness of separation logic in block-based cloud storage systems”. Theoretical Computer Science. 2025, 1049(115372).

[4] 金钊, 王捍贫, 张博闻, 张磊, 曹永知. “基于分离逻辑的云存储系统验证”. 计算机学报. 2020, 43(12): 2227-2240.

[5] 金钊, 金璐, 张博闻,吴庆顺, 冯朔, 李冠峰, 徐明亮. “舰载机弹药保障作业调度的形式化建模与验证”. 软件学报. 2024, 35(9).

承担课题：

[1] 国家自然科学基金委员会，青年项目，62302459，基于定量分离逻辑的舰载机弹药保障作业规划方案正确性验证，2024-01至2026-12，30万元，主持

[2] 中国博士后科学基金会，面上项目，2023M743187，舰载机弹药保障作业规划方案形式化验证，2024-01至2026-12，8万元，主持

[3] 中国船舶集团系统工程研究院，军工横向项目，XXXXXX，2023-07至2024-04，50万元，结题，执行人

[4] 中国船舶集团系统工程研究院，军工横向项目，XXXXXX，2023-10至2024-06，80万元，结题，执行人

[5] 中国空间技术研究院，军工横向项目，XXXXXX，2024-12至2025-12，45万元，在研，执行人

[6] 国家国防科技工业局，基础科研重大项目分承研，XXXXXX，2025-01至2027-12，1000万元，已获批，子课题负责人

联系方式：

邮箱：jinzhao@zzu.edu.cn

邮箱：13051836066