郭世凯 副教授、博导

计算机科学与技术学科，软件工程系

毕业院校：大连海事大学

邮箱：shikai.guo@dlmu.edu.cn

研究方向：AI芯片、端侧SoC、智能软件工程

TSMC实验室负责人，具有博士、硕士招生名额，招募本科各年级实习生，欢迎邮件咨询！

| 个人简介

郭世凯，大连海事大学信息科学技术学院 特评副教授。CCF YOCSEF大连主席(24-25)，CCF高级会员，辽宁省高等学校优秀毕业生指导教师，2023年获评大连市科技人才创新支持计划（优秀青年科技人才），2021年获评大连市高层次人才（青年才俊），2021年入选大连海事大学星海工程人才支持计划，2020年获评辽宁省优秀博士学位论文，全国研究生教育评估监测评审专家，全国本生教育评估监测评审专家。作为指导教师指导学生尚修为，入选人民日报专版刊登的《2021-2022学年度本专科生国家奖学金获奖学生代表名录》。同时，作为指导教师获评国家、省部级以上A类竞赛获奖100余项。其中，获评“互联网+”创新创业大赛全国银奖，挑战杯 卫星级获奖，中国大学生计算机设计大赛国家一等奖、中国机器人及人工智能大赛全国一等奖、全球校园人工智能算法精英大赛全国一等奖、第二十一届全国大学生信息安全与对抗技术竞赛国家一等奖、睿抗机器人开发者大赛国家一等奖等多项A类竞赛国家级一等奖，以及多项中国大学生创新创业国家级项目。此外，获评第十八届中国研究生电子设计竞赛、中国机器人及人工智能大赛、iCAN大学生创新创业大赛和全球人工智能算法精英赛等20余项A类竞赛的优秀指导教师。指导本科毕设获评多项大连海事大学校优秀本科毕业论文，指导研究生多次获得研究生国家奖学金。

研究领域主要聚焦“端侧SoC芯片编译软件栈运行机理建模与可信体系构建关键技术研究”。端侧SoC芯片编译工具链是高性能芯片开发的核心基础软件，是芯片设计“卡脖子”的关键环节，对于保证国产芯片设计基础软件产业的可持续发展至关重要。围绕上述国家战略需求，在国际著名期刊和国际会议（包括CCF A或ACM/IEEE Trans.期刊会议，如DAC、FSE、IEEE TSE、ACM TOSEM、IEEE TCAD、ACM TODAES、IEEE TR、IEEE TRETS、IEEE TIM、IEEE TCE、IEEE TCBB等）上发表论文100余篇，申请/授权国家发明专利40余项，授权软件著作权30余项。主持国家自然科学面上基金、辽宁省前沿产业项目、大连市优秀青年科技人才项目、大连市应用基础项目、国家自然科学青年基金、中国博士后面上项目及多项省市项目。

TSMC实验室负责人

每年招收硕士生5-6名，欢迎计算机大类学硕、专硕的同学投递（简历）报名联系！

每年招收本科生5-10名，欢迎计算机大类、电子、通信等专业的同学投递（简历）报名联系！

学硕：计算机科学与技术 (081200)

专硕：计算机技术 (085404)、软件工程 (085405)、人工智能 (085410)、大数据技术与工程 (085411) 、网络与信息安全 (085412)

| 教育经历

2007.09-2011.07 辽宁大学 计算机科学与技术 学士

2012.09-2018.12 大连海事大学 计算机应用 博士

| 工作经历

2019.01-2021.01 大连海事大学 船舶电气工程学院 师资博士后

2021.01-至今  大连海事大学 信息科学技术学院 副教授

2019.01-至今  大连理工大学人工智能大连研究院 研究员

| 讲授课程

1. 智能芯片编译技术导论

2. Java程序设计

3. 软件工程

4. 专业导论（软件工程专业）

| 研究领域

1. AI 芯片（卡脖子EDA方向）

2. 可编程芯片编译环境构建优化与测试（卡脖子EDA方向）

3. 智能软件工程

4. 谷歌学术主页：https://scholar.google.com.hk/citations?hl=zh-CN&user=8P9xfewAAAAJ&view_op=list_works&sortby=pubdate

学术成果

| 科研论文（近2年10篇代表作）

1. Weihao Sun, Shikai Guo (*), Siwen Wang, Qian Ma, Hui Li, Ning Wang, Yongpeng Weng, Modeling Relational Logic Circuits for And-Inverter Graph Convolutional Network, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. (SCI, CCF A). http://dx.doi.org/10.1109/TCAD.2025.3644279

2. Xinlong Zhang, Shikai Guo (*), Zhenkan Fu, Pingchu Dong, Ning Wang, Xiaochen Li, He Jiang, Making Root Cause Localization on FPGA Simulation Tools Robust, ACM Transactions on Architecture and Code Optimization. (SCI, CCF A). https://doi.org/10.1145/3799984

3. Yi Guo, Shikai Guo (*), Huijiang Liu, Ning Wang, Zhixiong Di, Xiaochen Li, He Jiang, Learning-Based Slack-Aware Timing-Driven Global Placement for Large-scale Heterogeneous FPGAs, DAC 2026. (EI, CCF A).

4. Jiaxin Li, Shikai Guo (*), Zhihao Xu (*), Xiaochen Li, He Jiang, Are They All Safe? Practical Fault Injection Attacks on FPGA Logic Synthesis Tools, DAC 2026. (EI, CCF A).

5. Zhihao Xu, Hui Zeng, Hui Li, Qian Ma, Furui Zhan, Shikai Guo (*), RL4HDL: Code Diversity Guided FPGA Logic Synthesis Compiler Testing Via Reinforce Learning, DAC 2026. (EI, CCF A).

6. Zhihao Xu, Shikai Guo (*), Guilin Zhao, Peiyu Zou, Xiaochen Li, He Jiang (*), A Novel HDL Code Generator for Effectively Testing FPGA Logic Synthesis Compilers, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. (SCI, CCF A). https://doi.org/10.1109/TCAD.2025.3565488

7. Chen Wu, Shikai Guo (*), Hui Li, Chenchen Li, Rong Chen, Estimating Uncertainty in Line-Level Defect Prediction via Perceptual Borderline Oversampling, ACM Transactions on Software Engineering and Methodology. (SCI, CCF A). http://dx.doi.org/10.1145/3746225

8. Lehuan Zhang, Shikai Guo (*), Zixuan Wang, Xiaoyu Wang, Xiaochen Li, He Jiang, Live Region Mutation Testing for Commercial Cyber-Physical System Development Tool Chain, DAC 2025. (EI, CCF A).

9. Ke Xv, Shikai Guo (*), Hui Li, Chenchen Li, Rong Chen, Xiaochen Li, He Jiang, Making Fault Localization in Online Service Systems More Actionable and Interpretable, ACM Transactions on Software Engineering and Methodology. (SCI, CCF A). http://dx.doi.org/10.1145/3714466

10. Shouyu Yin, Shikai Guo (*), Hui Li, Chenchen Li, Rong Chen, Xiaochen Li, He Jiang, LineDef: Line-Level Defect Prediction by Capturing Code Contexts with Graph Neural Networks, IEEE Transactions on Software Engineering, 51(1): 172-191 (2025). (SCI, CCF A).

| 知识产权（近3年10个代表作）

1. 郭世凯，汪海博，王倩，李孟儇，李宇龙，宋子煊，一种基于风险策略和多样性策略的Simulink测试方法，申请号：CN202110944362.6，专利号：ZL 202110944362.6，申请日期：2021年8月17日，授权日期：2023年9月22日，国家发明专利，已授权

2. 郭世凯，李孟儇，王子轩，葛新，李辉，一种基于知识库的CPS模型等价模输入变异测试方法，申请号：CN202210451298.2，专利号：ZL 2022 1 0451298.2，申请日期：2022年4月26日，授权日期2024年5月21日，国家发明专利，已授权

3. 郭世凯，成烘仪，王富强，李辉，陈荣，一种Simulink代码生成工具测试方法，申请号：CN202210349093，专利号：ZL 2022 1 0349093.3，申请日期：2022年4月1日，授权日期：2024年6月28日，国家发明专利，已授权

4. 郭世凯，徐志豪，尚修为，李辉，陈荣，一种基于可控断言突变的Simulink软件测试方法，申请号：CN202210348499.X，专利号： ZL 2022 1 0348499.X，申请日期：2022年4月1日，国家发明专利，已授权

5. 郭世凯，王子轩，龚仕豪，李辉，陈荣，一种基于子系统和数据恢复的Simulink测试方法，申请号：CN202210267643，公开号CN114816988A，申请日期：2022年3月17日，国家发明专利，已授权

6. 郭世凯，王子轩，戚学欣，杜娜，宋士虓，王一安，李晓晨，江贺，面向信息物理系统开发工具链编译器的测试用例生成系统，登记号2023SR0225205，授权日期2023年2月10日，计算机软件著作权，已授权。

7. 郭世凯，王子轩，戚学欣，杜娜，宋士虓，李晓晨，江贺，面向信息物理系统开发工具链编译器的自动化测试及效率优化系统，登记号2023SR0225204，授权日期2023年2月10日，计算机软件著作权，已授权。

8. 郭世凯，王子轩，杜娜，丰晴，苗煜杨，宋士虓，李晓晨，江贺，EDA工业软件缺陷存储与复现系统，登记号2023SR1009218，授权日期2023年9月4日，计算机软件著作权，已授权。

9. 郭世凯，刘昭维，王子轩，杜娜，任虹燕，丰晴，宋士虓，李晓晨，江贺，EDA工业软件自主分类识别系统，登记号2023SR1340779，授权日期2023年10月30日，计算机软件著作权，已授权。

10. 郭世凯，王子轩，杜娜，宋士虓，丰晴，苗煜杨，李晓晨，江贺，EDA多样化测试方案管理系统，登记号2023SR1143396，授权日期2023年9月22日，计算机软件著作权，已授权。

| 科研项目

1. 2025.09-2028.09： xxx攻关专项项目子课题，工信部, 主持

2. 2025.01-2028.12：面向FPGA仿真验证工具的自动化测试与缺陷定位方法研究，国家自然科学基金委，国家自然科学面上基金项目，主持

3. 2025.05-2027.05：基于AI驱动的可编程芯片自动化设计工具编译优化关键技术研究，辽宁省科技厅，辽宁省未来产业前沿技术项目，主持

4. 2025.01-2026.12：面向可编程芯片的编译工具链软件生态质量保证方法研究，大连市科技局，大连市科技创新基金(应用基础研究项目), 主持

5. 2023.01-2024.12：基于人机协同的群智测试贡献汇聚机理与方法研究，大连市科技局，优秀青年科技人才, 主持

6. 2020.01-2022.12：群体测试环境下高影响力缺陷报告的智能筛选、分派与辅助修复方法研究，国家自然科学基金委，国家自然科学青年基金项目，主持

7. 2020.07-2022.06：基于群体测试环境下的高影响力缺陷报告识别与辅助修复方法研究，中国博士后科学基金会，主持

8. 2021.01-2022.12：群智测试任务智能分派与汇总关键技术研究，中央基础科研业务经费，主持

9. 2020.01-2021.12：智能交通系统缺陷预测及辅助维护方法研究，符号计算与知识工程教育部重点实验室（吉林大学） 开放基金项目，主持

10. 2020.01-2020.12：基于IPv6环境下的软件缺陷管理社区协助缺陷修复方法研究与系统实现，中国教育和科研计算机网CERNET网络中心，主持

| 教改项目

1. 2023.01-2024.12：面向高校研究生的教育元宇宙科技空间场景解决方案的研究与实践，辽宁省教育厅，2023年辽宁省研究生教育教学改革研究项目（J2），项目编号：辽教通〔2023〕385 号-151，主持

2. 2023.09-2025.09：基于元宇宙的科技空间场景解决方案在高校本科生教育中的研究与应用,中国高等教育学会，2023年度高等教育科学研究规划课题，项目编号：23LK0408，主持

3. 2023.01-2023.12：基于元宇宙的智慧课程教学模式研究与实践，大连海事大学，2023年教师发展专项，项目编号：JF2023Y05，主持

4. 2024.01-2024.12: "CodeLite"——基于上下文的低资源代码摘要，大连海事大学，2024年大学生创新创业训练计划（国家级），指导教师，郭世凯

5. 2024.01-2024.12: "BugCraft"——基于迁移学习的低资源代码故障定位及自动化程序修复，大连海事大学，2024年大学生创新创业训练计划（国家级），指导教师，郭世凯

6. 2024.01-2024.12: 亿芯一E--国产芯片EDA工业软件测试关键技术，大连海事大学，2024年大学生创新创业训练计划（国家级，优秀项目），指导教师，郭世凯

7. 2024.01-2024.12：天元-落子社区最中心，大连海事大学，2024年大学生创新创业训练计划（国家级），指导教师，郭世凯

8. 2023.03-2024.03：正源科技-城市洪涝监测预警专家，大连海事大学，2023年大学生创新创业训练计划（国家级），指导教师，郭世凯，主持

9. 2022.03-2023.03：群体测试环境下高影响力缺陷报告的智能筛选、分派与辅助修复方法研究，大连海事大学，2022年大学生创新创业训练计划（国家级），指导教师，李辉、郭世凯，主持

|主要荣誉（近3年10个代表作）

1. CCF YOCSEF大连 主席 （2024-2025）

2. 辽宁省优秀博士学位论文，辽宁省教育厅，2020，郭世凯。

3. 大连市优秀青年科技人才（市优青），大连市科技局，2023，郭世凯。

4. 大连市高层次人才称号（青年才俊），大连市科技局，2021，郭世凯。

5. 第十八届中国研究生电子设计竞赛 优秀指导教师

6. 中国机器人及人工智能大赛 优秀指导教师

7. iCAN大学生创新创业大赛 优秀指导教师

8. 人工智能算法精英赛等多项竞赛 优秀指导教师

9. 人民日报专版刊登的《2021-2022学年度本专科生国家奖学金获奖学生代表名录》尚修为，指导教师

| 招生信息（预申请硕士同学，请将简历发送至邮箱shikai.guo@dlmu.edu.cn）