J

金钊

日期:2023-10-30 信息来源: 浏览量:


金钊,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





下一条: 姜晓恒

版权所有 © 郑州大学计算机与人工智能学院  All Rights Reserved.