2012.8 - 2013.7 意大利 布雷西亚大学 访问教授（Visiting Professor at University of Brescia, Brescia, Italy）
2008.8 - 2008.11 爱尔兰国立大学（Galway）DERI研究所 交换生赵相福，男，教授，研究生导师，2009年6月获吉林大学计算机软件与理论专业博士学位（导师：欧阳丹彤教授），现为山东省高校青创人才引育计划团队带头人，区块链技术与应用山东省工程研究中心研发团队与技术带头人，中国计算机学会（CCF）高级会员、CCF区块链专委执行委员、CCF理论计算机科学专委执行委员、CCF人工智能与模式识别专委通讯委员，《计算机集成制造系统》期刊理事，浙江省区块链技术应用协会专家智库成员，山东省人工智能学会理事；主要研究方向为人工智能（故障诊断推理算法）、区块链（智能合约安全漏洞检测方法）等；截止目前，主持山东省高校青创团队项目1项、国家自然科学基金项目2项（面上和青年各1项）、浙江省自然科学基金项目2项；在IEEE TSMCA、IEEE TR、EAAI、AAAI、ECAI、KR、ICSE、电子学报、软件学报等知名期刊或会议发表学术论文70余篇，申请发明专利20余件（已授权10余件），合作出版Springer学术专著1部；获2021 CCF中国区块链技术大会优秀论文奖、指导研究生在2023 CCF&ATEC第二届大学生区块链安全隐私技术与创新应用竞赛中获得全国三等奖；作为访问教授（Visiting Professor）在意大利访学1年；受邀担任CCF A类会议IJCAI-19 Session Chair, AAAI-15/18/21/22/24、IJCAI-19/20程序委员；国家重点研发计划“区块链”重点专项会评专家，国家自然科学基金同行评议专家，省科学技术奖评审专家，省重点人才工程通讯评审专家，北京等多个省市自然科学基金同行评议专家，烟台市政务信息系统项目评审专家；IEEE TSMCA、IEEE TCYB、IEEE TASE、中国科学：信息科学、电子学报、软件学报、计算机研究与发展、通信学报等期刊评审人；FAW-AAIM-2011、CCFAI-2021会议组委会委员等。

本科生：汇编语言、数据结构与算法、离散数学、C语言等
研究生：高级人工智能

主持的主要科研项目：

1. 山东省高校青创人才引育计划创新团队，项目负责人

2. 国家自然科学基金面上项目：面向区块链智能合约漏洞自动检测与修复的符号逻辑建模与推理，项目负责人

3. 国家自然科学基金（青年科学基金）项目：离散事件系统基于模型的分布式在线诊断方法研究，项目负责人

4. 浙江省自然科学基金面上项目：基于分治策略快速产生大规模极小Hitting-Sets的方法，项目负责人

5. 浙江省自然科学基金面上项目：离散事件系统基于模型的分布式及分层诊断方法研究，项目负责人

部分代表论文：

1. Xiangfu Zhao, Xiangrong Tong, Dantong Ouyang, Liming Zhang, and Yanzhi Hou. TreeMerge: efficient generation of minimal hitting-sets for conflict sets in tree structure for model-based fault diagnosis. IEEE Transactions on Reliability, 2021, 70 (4): 1596–1610.

2. Xiangfu Zhao and Dantong Ouyang. Deriving all minimal hitting sets based on join relation. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2015, 45 (7): 1063-1076.

3. Xiangfu Zhao. LinearMerge: efficient computation of minimal hitting sets for conflict sets in a linear structure. Engineering Applications of Artificial Intelligence, 2018, 72: 327–339.（中科院SCI 2区Top期刊）

4. Xiangfu Zhao and Dantong Ouyang. Model-based diagnosis of discrete event systems with an incomplete system model. In: Proc. 18th European Conference on Artificial Intelligence (ECAI-08), Patras, Greece, July, 2008, 189-193. (CCF B类会议)

5. 赵相福, 欧阳丹彤. 使用SAT求解器产生所有极小冲突部件集. 电子学报, 2009, 37 (4): 804-810. （CCF A类中文期刊）

6. Long He, Xiangfu Zhao*, and Yichen Wang. ParSE: efficient detection of smart contract vulnerabilities via parallel and simplified symbolic execution. In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE - Companion), April, 2024, LISBON. (通讯作者)

7. Long He, Xiangfu Zhao*, Yichen Wang, Jiahui Yang, and Xuelei Sun. GraphSA: smart contract vulnerability detection combining graph neural networks and static analysis. In: Proc. 26th European Conference on Artificial Intelligence (ECAI-23), Kraków, Poland, Sept. 30–Oct. 4, 2023, 1020-1027. (通讯作者，CCF B类会议)

8. Zixian Zhen, Xiangfu Zhao*, Jinkai Zhang, Yichen Wang, and Haiyue Chen. DA-GNN: a smart contract vulnerability detection method based on dual attention graph neural network. Computer Networks, 2024, 242, article 110238. （通讯作者，中科院SCI大类2区期刊）

9. Xiangfu Zhao, Zhongyu Chen, Xin Chen, Yanxia Wang, and Changbing Tang. The DAO attack paradoxes in propositional logic. In: Proc. 4th International Conference on Systems and Informatics (ICSAI-17), Hangzhou, China, Nov. 11-13, 2017, 1636-1639. （Google Scholar他引50余次）

10. 赵相福, 黄森, 童向荣, 欧阳丹彤, 张立明, 章星林. IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法. 电子学报, 2022, 50(11): 2722-2729. （CCF A类中文期刊）

11. Xiangfu Zhao and Dantong Ouyang. A method of combining SE-tree to compute all minimal hitting sets. Progress in Natural Science, 2006, 16 (2): 169-174.

12. Xiangfu Zhao and Dantong Ouyang. Improved algorithms for deriving all minimal conflict sets in model-based diagnosis. Lecture Notes in Computer Science, 2007, 4681: 157-166. （Google Scholar被引30余次）

13. Xiangfu Zhao and Dantong Ouyang. On-line diagnosis of discrete event systems with two successive temporal windows. AI Communications, 2008, 21 (4): 249-262.

14. Xiangfu Zhao, Liming Zhang, Dantong Ouyang, and Yu Jiao. Deriving all minimal consistency-based diagnosis sets using SAT solvers. Progress in Natural Science, 2009, 19 (4): 489-494.

15. Xiangfu Zhao, Dantong Ouyang, Liming Zhang, Xiaoyu Wang, and Yuchang Mo. Reasoning on partially-ordered observations in online diagnosis of DESs. AI Communications, 2012, 25 (4): 285-294.

16. Gianfranco Lamperti and Xiangfu Zhao. Diagnosis of active systems by semantic patterns. IEEE Transactions on Systems, Man and Cybernetics: Systems, 2014, 44(8): 1028 - 1043.

17. Xiangfu Zhao, Dantong Ouyang, and Liming Zhang. Computing all minimal hitting sets by subset recombination. Applied Intelligence, 2018, 48 (2): 257–270.

18. 何嫱君, 赵相福*, 欧阳丹彤, 张立明. 极小碰集求解算法的性能分析与比较. 电子学报, 2019, 47(5):1101-1110. (通讯作者, CCF A类中文期刊)

19. Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang. Two compacted models for efficient model-based diagnosis. In: Proc. of the 36^th AAAI Conference on Artificial Intelligence (AAAI-2022), 36(4): 3885-3893, Vancouver, BC, Canada, February 22 - March 1, 2022. (CCF A类会议)

20. 魏霞, 赵相福*, 黄森. CIMHS:基于优化增量策略求解极小碰集的方法. 电子学报, 2023, 51(5): 1334-1340. (通讯作者, CCF A类中文期刊)

学术专著：

1. Gianfranco Lamperti, Marina Zanella, and Xiangfu Zhao. Introduction to Diagnosis of Active Systems. EBook ISBN: 978-3-319-92733-6, Hardcover ISBN: 978-3-319-92731-2. Springer, 2018. https://www.springer.com/it/book/9783319927312

部分学术报告：

2023.9 济南 2023年人工智能创新发展与技术应用培训交流会 学术报告：基于人工智能的区块链智能合约安全漏洞检测

2023.7 昆明 第六届难解问题的表示、算法与应用研讨会（HCP-2023研讨会） 学术报告：极小碰集高效计算：基于分布式和分治法求解的策略

2020.10 线上 国际研讨会 1st Webinar: Smart Cities and Blockchain Innovations 学术报告：Is Blockchain a Real Opportunity for Smart Cities Projects in China?

2020.9 西安（线上） 西安电子科技大学 学术报告：Model-Based Diagnosis of Discrete-Event Systems

2017.11 杭州 国际学术会议ICSAI-2017 学术报告：The DAO Attack Paradoxes in Propositional Logic

2016.8 宁波 国际学术会议ICIA-2016 学术报告：Deriving All Minimal Hitting-Sets by Merging

2013.10 以色列 耶路撒冷 本古里安大学 国际诊断原理学术研讨会（DX-2013） 学术报告：A Distributed Strategy for Deriving Minimal Hitting-Sets

2008.11 爱尔兰 科克大学（UCC） 学术报告：Model-Based Diagnosis: from Static Systems to Discrete-Event Systems

部分发明专利：

1. 一种跨合约漏洞的检测方法、系统和设备. 授权专利号：ZL 2023 1 0627115.2

2. 一种基于神经网络的智能合约漏洞检测方法. 授权专利号：ZL 2023 1 0741124.4

3. 一种符号执行的智能合约漏洞检测方法、系统和设备. 授权专利号：ZL 2023 1 0880953.0

4. 一种基于漏洞子图的智能合约漏洞检测方法、系统和设备. 授权专利号：ZL 2023 1 1178702.4

5. 一种智能合约安全漏洞检测方法和系统. 授权专利号：ZL 2023 1 0556822.7

6. 基于图神经网络的智能合约漏洞检测方法、系统和设备. 授权专利号：ZL 2023 1 1579362.6

7. 智能合约的重入漏洞检测方法、系统、设备和存储介质. 专利申请号：CN 2023 1 1578102.7

8. 基于语义信息引导模糊测试的智能合约漏洞检测方法. 专利申请号：CN 2024 1 0011599.2

9. 基于静态分析与模糊测试结合的智能合约漏洞检测方法. 专利申请号：CN 2024 1 0090931.9

10. 基于关键路径的智能合约整数溢出漏洞检测方法、系统. 专利申请号：CN 2024 1 0304572.2

11. 一种基于中间表示的智能合约漏洞检测方法、系统和设备. 专利申请号：CN 2024 1 0304571.8

12. 一种基于状态锁的智能合约的安全函数的设计方法及系统. 授权专利号：ZL 2019 1 0077219.4

部分软件著作权:

1. 赵相福, 陈奇. 基于模型的离散动态设备故障诊断系统V1.0 （登记号：2015SR128632）. 国家版权局. 2015-07-09.

2. 赵相福, 陈奇. 基于连续两个时间窗口的实时故障诊断推理系统V1.0 （登记号：2015SR128627）. 国家版权局. 2015-07-09.

3. 赵相福, 施婷婷. 基于SAT求解器的极小候选诊断产生系统V1.0 （登记号：2015SR249610）. 国家版权局. 2015-12-08.

4. 赵相福, 施婷婷. 基于SAT求解器的极小冲突部件集产生系统V1.0 （登记号：2015SR249614）. 国家版权局. 2015-12-08.

5. 赵相福, 章星林. 极小碰集多算法集成求解系统V1.0 （登记号：2021SR1197893）. 国家版权局. 2021.08.

6. 赵相福, 刘绍源. 基于区块链的音乐版权保护系统V1.0 （登记号：2020SR0292667）. 国家版权局. 2020-03-27.

部分科研相关获奖情况：

2021. 指导研究生获得2021 CCF中国区块链技术大会优秀论文奖 （中国计算机学会区块链专委会）

2023. 指导研究生在CCF&ATEC第二届大学生区块链安全隐私技术与创新应用竞赛中获得全国三等奖 （中国计算机学会 区块链专委会）