姓名：赵相福
职称：教授 硕士生导师
所在院系：计算机系
最后学位：博士
最后学历：博士研究生
最后毕业院校：吉林大学
所学专业：计算机软件与理论
研究方向：人工智能（基于模型的诊断、智能诊断推理）、区块链
联系方式：xiangfuzhao@163.com
赵相福，男，教授，研究生导师，2009年6月获吉林大学计算机软件与理论专业博士学位（导师：欧阳丹彤教授），现为山东省高校青创人才引育计划团队带头人，区块链技术与应用山东省工程研究中心研发团队与技术带头人，中国计算机学会（CCF）区块链专委执行委员、CCF人工智能与模式识别专委通讯委员，《计算机集成制造系统》期刊理事，浙江省区块链技术应用协会专家智库成员，山东省人工智能学会理事；主要研究方向为人工智能、区块链等；主持山东省高校青创团队项目1项、国家自然科学基金项目2项（面上和青年各1项）、浙江省自然科学基金项目2项；在IEEE TSMCA、IEEE TR、EAAI、Applied Intelligence、AAAI、ECAI、KR、电子学报、软件学报等重要期刊或会议发表学术论文60余篇，申请发明专利3件，合作出版Springer学术专著1部；曾获2021 CCF中国区块链技术大会优秀论文奖、指导研究生在2022 CCF&ATEC首届大学生区块链安全隐私技术与创新应用竞赛中获得全国优胜奖（前30%）；作为访问教授（Visiting Professor）在意大利访学1年；受邀担任CCF A类会议IJCAI-19 Session Chair, AAAI-15/18/21/22、IJCAI-19/20程序委员；国家重点研发计划“区块链”重点专项会评专家，国家自然科学基金同行评议专家，省科学技术奖评审专家，省重点人才工程通讯评审专家，北京等多个省市自然科学基金同行评议专家，烟台市政务信息系统项目评审专家；IEEE TSMCA、IEEE TCYB、IEEE TASE、中国科学：信息科学、电子学报、软件学报、计算机研究与发展、通信学报等期刊评审人；FAW-AAIM-2011、CCFAI-2021会议组委会委员等。
2020.7 –至今 烟台大学 教授
2009.8 – 2020.6 浙江师范大学 讲师、副教授
出国访学情况：
2012.8 - 2013.7 意大利 布雷西亚大学 访问教授（Visiting Professor at University of Brescia, Brescia, Italy）
2008.8 - 2008.11 爱尔兰国立大学（Galway）DERI研究所 交换生
本科生：汇编语言、数据结构与算法、离散数学、C语言等
研究生：高级人工智能
1.山东省高校青创人才引育计划创新团队，2022.1-2024.12，团队带头人
2. 国家自然科学基金面上项目：面向区块链智能合约漏洞自动检测与修复的符号逻辑建模与推理（No. 61972360），2020.1-2023.12，项目负责人
3. 浙江省自然科学基金项目：基于分治策略快速产生大规模极小Hitting-Sets的方法（No. LY16F020004），2016.1-2018.12，项目负责人
4. 国家自然科学基金（青年科学基金）项目：离散事件系统基于模型的分布式在线诊断方法研究（No. 61003101），2011.1-2013.12，项目负责人
5. 浙江省自然科学基金项目：离散事件系统基于模型的分布式及分层诊断方法研究（No. Y1100191），2010.6-2012.6，项目负责人
部分代表论文：
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.
4. Xiangfu Zhao, Dantong Ouyang, and Liming Zhang. Computing all minimal hitting sets by subset recombination. Applied Intelligence, 2018, 48 (2): 257–270.
5. 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.
学术专著（合著）：
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
主持教改项目：
1. 浙江师范大学青年教改项目：基本数据结构库函数的设计与相关典型案例的实现, 2012.9 – 2013.6, 项目负责人
2. 浙江师范大学课堂教改一般项目：《离散数学》渐进式双语教学研究, 2014.6 – 2015.6, 项目负责人
3. 浙江师范大学全英文授课品牌课程建设项目：“Discrete Mathematics”, 2014.12 – 2017.12, 项目负责人
4. 浙江师范大学教学改革重点项目（留学生教学与管理专项）：软件工程核心课程《数据结构与算法》全英文教学研究, 2016.12 – 2017.12, 项目负责人
5. 浙江师范大学教学改革重点项目：循序渐进的项目制算法设计实训（英文）教学研究, 2018.11 – 2020.11, 项目负责人
发表教研论文：
1. 赵相福，韩建民，吴建斌，王艳霞. 离散数学双语教学问题与对策. 计算机教育, 2016, (3): 49 - 52.
2. 赵相福. 数据结构全英文教学问题与对策探索. 计算机教育, 2017, (12): 94 - 97.
3. 韩建民, 钟发荣, 赵相福, 宋炯. 基于ACM-ICPC训练模式的数据结构实践教学探索. 计算机教育, 2013, (10): 103-107.
2011年开始指导研究生，截止到2023年3月，在读12名，已指导毕业研究生18名（含3名留学生），多人荣获优秀毕业研究生或优秀硕士论文奖。
烟台大学
