金钊，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. (CCF B)

[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. (CCF B)

[3] Bowen Zhang, Zhao Jin, Yongzhi Cao, Hanpin Wang, “Formal verification of data Modifications in cloud block storage based on separation logic”. Chinese Journal of Electronics. 2023.

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

[5] 张博闻, 金钊, 王捍贫, 曹永知. “一种基于分离逻辑的块云存储系统验证工具”. 软件学报. 2022, 33(6): 006581. (CCF 中文A)

承担课题

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

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

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

[4] 国家自然科学基金委员会，面上项目，62172016，资源分配中的隐私保护研究，2022-01至2025-12，59万元，在研，参与

[5] 国家自然科学基金委员会，面上项目，61972005，验证云存储系统的块分离逻辑中推导策略研究，2020-01至2023-12，60万元，在研，参与

[6] 国家自然科学基金委员会，面上项目，61772035，不确定性系统隐私性的建模与分析，2018-01至2021-12，65万元，结题，参与

[7] 国家自然科学基金委员会，面上项目，61572003，基于分离逻辑的云存储管理程序正确性验证方法，2016-01至2019-12，63万元，结题，参与

联系方式

邮箱：jinzhao@ zzu.edu.cn