姓名：赵相福
职称：教授 硕士生导师
所在院系：计算机系
最后学位：博士
最后学历：博士研究生
最后毕业院校：吉林大学
所学专业：计算机软件与理论
研究方向：人工智能（基于模型的诊断、智能诊断推理）、区块链
联系方式：xiangfuzhao@163.com

个人简介
赵相福，男，教授，2009年6月获吉林大学计算机专业博士学位，现为中国计算机学会(CCF)区块链专委委员、CCF人工智能与模式识别专委通讯委员，浙江省区块链应用协会专家智库成员，《计算机集成制造系统》期刊理事；主要研究方向为人工智能（高效的智能诊断推理算法、基于逻辑模型的故障诊断、基于自动机的离散事件系统故障诊断）、区块链（智能合约漏洞检测及安全策略分析、区块链相关的逻辑基础）等；主持国家自然科学基金项目2项（面上和青年各1项）、浙江省自然科学基金项目2项；在IEEE-T-SMCA、EAAI、AICom、ECAI、KR、Applied Intelligence、电子学报等重要期刊或会议发表学术论文50余篇，申请发明专利3件，合作出版Springer学术专著1部；曾获IBM中国优秀学生奖学金、吉林大学优秀毕业研究生等奖励，作为访问教授(Visiting Professor)在意大利访学1年，受邀担任CCF-A 类会议IJCAI-2019 Session Chair, AAAI-2015/2018/2021、IJCAI-2019/2020程序委员(PC Member)，国家自然科学基金及多个省自然科学基金同行评议专家，IEEE-T-SMCA、IEEE-T- CYB、IEEE-T-ASE、KBS、中国科学：信息科学、电子学报、软件学报、计算机研究与发展、通信学报等期刊评审人，以及FAW-AAIM’2011国际会议组委会委员和联系人。（以上信息截止到2020-09）

工作经历：
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. 国家自然科学基金面上项目：面向区块链智能合约漏洞自动检测与修复的符号逻辑建模与推理（No. **），2020.1-2023.12，项目负责人
2. 浙江省自然科学基金项目：基于分治策略快速产生大规模极小Hitting-Sets的方法（No. LY16F020004），2016.1-2018.12，项目负责人
3. 国家自然科学基金（青年科学基金）项目：离散事件系统基于模型的分布式在线诊断方法研究（No. **），2011.1-2013.12，项目负责人
4. 浙江省自然科学基金项目：离散事件系统基于模型的分布式及分层诊断方法研究（No. Y**），2010.6-2012.6，项目负责人
部分论文：
1. 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.
2. 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.
3. Xiangfu Zhao, Dantong Ouyang, and Liming Zhang. Computing all minimal hitting sets by subset recombination. Applied Intelligence, 2018, 48 (2): 257–270.
4. 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.
5. Xiangfu Zhao and Dantong Ouyang. On-line diagnosis of discrete event systems with two successive temporal windows. AI Communications, 2008, 21 (4): 249-262.
6. 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.
7. 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.
8. 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.
9. 赵相福, 欧阳丹彤. 使用SAT求解器产生所有极小冲突部件集. 电子学报, 2009, 37 (4): 804-810.
10. 何嫱君, 赵相福*, 欧阳丹彤, 张立明. 极小碰集求解算法的性能分析与比较. 电子学报, 2019, 47(5):1101-1110. (第一作者为研究生)


学术专著（合著）：
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 International Publishing, 2018. https://www.springer.com/it/book/12 (Monograph)



主要教学成果
主持教改项目：
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年开始指导研究生，截止到2020年9月，已指导毕业研究生16名（含3名留学生），多人获校优秀毕业研究生或优秀硕士论文。