胡健

 职称：副教授/硕导

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

 邮箱：jianhu@cqu.edu.cn

简介

   胡健，博士，重庆大学大数据与软件学院副教授，硕士生导师，CCF软件工程专委会委员、CCF计算机辅助设计与图形学专委会委员。主要从事智能软件工程、大数据分析与挖掘、电子设计自动化等研究。主持国家自然科学青年基金项目1项，参与多项国家重点基础研究发展计划项目、国家自然科学基金重点项目、国家自然科学基金面上项目，在DAC、ASE、IST、JSS、CODES+ISSS、FCS、ATS、ISQED、SoCC、SANER、APSEC、《计算机辅助设计与图形学学报》和《计算机研究与发展》等国内外权威刊物上发表学术论文20余篇。

招收硕士生和本科实习生，欢迎计算机、软件、电子和自动化等专业并且对科研有浓厚兴趣的同学加入，有意向的同学发邮件咨询（jianhu@cqu.edu.cn）。

教育/工作经历

2022.06-至今，重庆大学，大数据与软件学院，副教授

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

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

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

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

主持/参与科研项目

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

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

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

[4] 国家重点基础研究发展计划项目，数值风洞大规模数据并行可视技术，参与.

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

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

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

[18] 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) 

[17] 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)

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

[15] 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)

[14] 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)

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

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

[11] 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）

[10] 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）

[9] 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)

[8] 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)

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

[6] 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)

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

[4] 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）

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

[2] Tun Li, Jian Hu, Yang Guo, Sikun Li, Qingping Tan. Equivalence Checking of Scheduling in High-Level Synthesis, 16th International Symposium on Quality Electronic Design (ISQED), 2015. (EI)

[1] Jian Hu*, Tun Li, Sikun Li. Equivalence Checking Between SLM and TLM Using Coverage Directed Simulation, International Conference on Computer-Aided Design and Computer Graphics (CAD/CG), 2013. (EI)