胡健

职称：副教授，博导/硕导

研究方向：智能软件工程、电子设计自动化、大数据分析与挖掘等

邮箱：jianhu@cqu.edu.cn

简介

胡健，博士，重庆大学大数据与软件学院副教授，博导/硕导，CCF软件工程专委会委员、CCF ICD专委会委员、CCF计算机辅助设计与图形学专委会委员。主要从事智能软件工程、电子设计自动化、大数据分析与挖掘等研究。主持国家级项目2项（国家自然科学基金青年基金项目、基础加强计划项目），参与多项国家自然科学基金重点项目和国家自然科学基金面上项目，在TCAD、TODAES、DAC、ASE、CODES+ISSS、IST、JSS、FCS、ISQED、SoCC、SANER、《计算机学报》、《计算机辅助设计与图形学学报》和《计算机研究与发展》等国内外权威刊物上发表学术论文30余篇；担任多个国际权威期刊和会议评审人。

招募

团队学风浓厚，时间分配自由。导师指导论文研究方向，帮助论文修改，提供投稿建议，满足毕业要求可放实习。热忱欢迎具有创新思维、科研兴趣浓厚和实践能力强的同学加入，有意向的同学发邮件咨询（jianhu@cqu.edu.cn）。

实验室学生

2025级：李友军，林雅婷，陈泊戎，魏修远

2024级：杨猛麟，马云倩

2023级：刘振磊(研究生国家奖学金，2025年)

教育/工作经历

重庆大学，大数据与软件学院，副教授

国防科技大学，助理研究员

国防科技大学，计算机科学与技术，博士

国防科技大学，计算机科学与技术，硕士

国防科技大学，计算机科学与技术，学士

主持/参与科研项目

[1] 国家级项目，基础加强计划项目，智能装备的智能代码质量保障与增强技术，主持

[2] 国家自然科学基金青年基金项目，片上系统高层等价性检验理论与关键技术，主持

[3] 国家级项目，基础加强计划项目，基于大模型的软件智能化测试技术, 参与

[4] 国家自然科学基金重点项目，片上多核处理器验证理论与关键技术，参与

[5] 国家自然科学基金面上项目，SoC系统级等价性检查理论与关键技术，参与

课程教学：

本科生课程:《软件工程》，《编译原理》

研究生课程:《专业方向实践》

近年来部分科研论文（*通讯作者）

[27] Menglin Yang,Jian Hu*. Precise Learning-to-Rank Bug Localization Using Multi-Feature Fusion for Hardware Code.Transactions on Design Automation of Electronic Systems (TODAES), 2026. (CCF-B)

[26]Jian Hu*. Representation learning for coincidental correctness in fault localization. Information and Software Technology (IST), 2026. (CCF-B)

[25] Zheyuan Li, Zhenyu Wu, Yan Lei, Huan Xie, Maojin Li,Jian Hu. HiFlaky: Hierarchy-aware flakiness classification. Journal of Systems and Software. 2026. (CCF-B)

[24]Jian Hu*. A universal dimensionality optimization method for fault localization. Software Quality Journal (SQJ), 2026. (CCF-C)

[23] 刘振磊，胡健*. 基于自注意力深度学习的硬件代码缺陷定位方法.《计算机学报》, 2025.（CCF-A中文）

[22]Jian Hu*, Zhenlei Liu. Context-aware Data Augmentation for Hardware Code Fault localization. Transactions on Design Automation of Electronic Systems (TODAES), 2025. (CCF-B)

[21]Jian Hu*, Zhenlei Liu. Context Aware Deep Learning-based Fault localization for Hardware Design Code. Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2025. (CCF-A)

[20]Jian Hu*. CG-FL: A Data Augmentation Approach using Context-aware Genetic Algorithm for Fault Localization.Journal of Systems and Software(JSS), 2025. (CCF-B)

[19]Jian Hu*. Semantic context based coincidental correct test cases detection for fault localization. Automated Software Engineering (ASE), 2024. (CCF-B)

[18]Jian Hu*,YanLei. A deep semantics-aware data augmentation method for fault localization. Information and Software Technology (IST), 2024. (CCF-B)

[17] Jian Hu*, Trace matrix optimization for fault localization. Journal of Systems and Software (JSS), 2024. (CCF-B)

[16] Jiaguo Wang, Yan Lei, Maojin Li, Guanyu Ren, Huan Xie, Shifeng Jin, Junchao Li,Jian Hu. FLAKYRANK:Predicting Flaky Tests Using Augented Learning to Rank.The 31st IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2024. (CCF-B)

[15] Huan Xie, Maojin Li, Yan Lei,Jian Hu, Shanshan Li, Xiaoguang Mao, Yue Yu. On the Reliability of Coverage Data for Fault Localization. Asia-Pacific Software Engineering Conference(APSEC), 2023. (CCF-C)

[14]Jian Hu*, HuanXie, YanLei, KeYu. A light-weight data augmentation method for fault localization. Information and Software Technology (IST), 2023. (CCF-B)

[13] Zhou Tao, Yan Lei, Huan Xie,Jian Hu. NeuralCCD: Integrating Multiple Features for Neural Coincidental Correctness Detection. The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023. (CCF-B)

[12]Jian Hu*, Minhui Hu, Kuang Zhao, Yun Kang, Haitao Yang, Jie Cheng. A Hybrid Method for Equivalence Checking between System Level and RTL. Journal of Circuits, Systems, and Computers (JCSC), 2022. (SCI)

[11] 陈桂林, 王观武,胡健,王康, 许东忠. Chiplets封装结构与通信结构的研究综述.《计算机研究与发展》, 2022.（CCF-A 中文）

[10] 胡健*, 康云, 杨海涛. SoC高级综合验证研究进展.《计算机辅助设计与图形学学报》, 2021.（CCF-A 中文）

[9] Jian Hu*, Yongyang Hu, Long Yu, Wentao Wang, Haitao Yang, Yun Kang, Jie Cheng. Formal Verification of GCSE in the Scheduling of High-level Synthesis. International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2020.（CCF-B）

[8] Jian Hu*, Yongyang Hu, Long Yu, Haitao Yang, Yun Kang, Jie Cheng. Validating GCSE in the scheduling of high-level synthesis, IEEE Asian Test Symposium (ATS), 2020. （CCF-C）

[7] Jian Hu*, Yongyang Hu, Qi Lv, Wentao Wang, Guanwu Wang, Guilin Chen, Kang Wang, Yun Kang, Haitao Yang. A Path-based Equivalence Checking Method between System Level and RTL Descriptions Using Machine Learning, Journal of Circuits, Systems, and Computers (JCSC), 2020. (SCI)

[6] Jian Hu*, Tun Li, Sikun Li. Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information. Journal of Circuits, Systems, and Computers (JCSC), 2019. (SCI)

[5]胡健*, 李暾, 李思昆. 片上系统高层等价性检验研究进展,《计算机辅助设计与图形学学报》, 2016.（CCF-A 中文）

[4]Jian Hu*, Tun Li, Sikun Li. Equivalence Checking between SLM and RTL Using Machine Learning Techniques, 17th International Symposium on Quality Electronic Design (ISQED), 2016. (EI)

[3] Jian Hu*, Tun Li, Sikun Li. Formal Equivalence Checking Between SLM and RTL Descriptions, 28th IEEE International System-on-Chip Conference (SoCC), 2015. (EI)

[2]Jian Hu*, Tun Li, Sikun Li. Equivalence Checking between SLM and RTL Using Machine Learning Techniques, Proceedings of the 52th Annual Design Automation Conference (DAC), 2015.（CCF-A，Work-in-Process Poster）

[1] Jian Hu*, Tun Li, Sikun Li. Equivalence Checking between SLM and TLM Using Coverage Directed Simulation, Frontiers of Computer Science (FCS), 2015.（CCF-B）