教育背景

2004.9 – 2010.1  博士，清华大学计算机科学与技术系
2001.9 – 2004.7  硕士，吉林大学计算机科学与技术系
1997.9 – 2001.7  学士，吉林大学计算机科学与技术系

工作履历

2010.4 – 2011.3  博士后，法国国家信息与自动化研究院（INRIA）
2011.8 – 至今    清华大学软件学院任教

研究概况

在研部分典型科研项目：
1.雄安新区科技创新专项“基于雄安新区大规模工程项目的智能建造关键技术研究及应用示范”，2025.03-2027.10
2.国家重点研发计划“城镇可持续发展关键技术与装备”专项“建筑工程标准数字化共性关键技术研究与应用”项目，2023.12-2027.11
已完成部分典型科研项目：
1.国家重点研发计划“智能雪车雪橇赛道与竞技训练关键技术研究”项目“基于雪车雪橇运动特征的赛道智能化设计与生成关键技术研究”，2021.12-2022.12
2.国家重点研发计划“制造企业数据空间构建方法与技术”课题5“典型行业方案解决与应用”，2019.5–2023.04
3.国家标准“面向领域的信息共享服务：第一部分 领域信息模型框架”（国家标准项目编号****3380-T-469），国家信标委，2016.1-2017.6
4.国家标准“面向领域的信息共享服务：第二部分 领域信息服务接口”（国家标准项目编号****1555-T-469），国家信标委，2016.1-2017.6
5.国家标准“面向领域的信息共享服务：第三部分 测试规范”（国家标准项目编号****1545-T-469），国家信标委，2016.1-2017.6
6.清华大学国家实验室面上项目：基于领域知识的BIM模型语义检查研究 2016.1-2016.12
7.清华大学自主科研项目：同步异步特征融合的嵌入式系统建模方法研究 2014.1–2016.12
8.NSFC青年项目：嵌入式系统构件模型的领域语义检查方法研究 2013.1-2015.12
9.NSFC重大项目：可信嵌入式软件系统试验环境与示范应用 2013.1-2016.12
10.国家科技支撑计划项目：可信嵌入式软件系统建模验证平台研发 2012.9–2014
11.973项目：产品设计软件系统的部件级可验证性理论研究 2010.1-2015.12
12.NSFC面上项目：面向领域的可信嵌入式软件系统试验验证环境研究 2011.01—2011.12
13.NSFC重点项目：基于定理证明的可信嵌入式软件建模与验证平台研究2008.01-2010.12

学术成果

特邀报告：
建筑工程标准数字化及AI审图研究与应用，第十二届BIM技术国际会议，珠海，2025年6月12日-13日
AI技术在建筑领域的创新实践与未来应用，中国数字建筑峰会2023，西安，2023年6月8日学术成果
代表性期刊论文：
张荷花,顾明.BIM模型智能检查工具研究与应用，土木建筑工程信息技术，页1-6, 期02，2018.
Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun:Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distrib. Syst. 26(8): 2220-2232 (2015).
Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, Jia-Guang Sun:Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. IEEE Transactions on Industrial Electronics 62(2): 1270-1278 (2015) .
Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun. Symbolic Analysis of Programmable Logic Controllers. IEEE Transactions on Computers, 63(10), p2563-2575, 2014.
Xi Lin, Hehua Zhang, Ming Gu:OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models. J. Applied Mathematics 2013: 934349:1-934349:11 (2013).
Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun. Bayesian Network Based Reliability Analysis of PLC Systems. IEEE Transactions on Industrial Electronics, 60(11), p5325-5336, 2013
代表性会议论文:
Hehua Zhang, Wenqi Zhao,etc. Semantic web based rule checking of real-world scale BIM models: a pragmatic method. Proceedings of i3CDE 2019.P130-P137.
Jianqiao Gu, Hehua Zhang, and Ming Gu.Automatic Integrity Checking of IFC Models relative to building Regulations. In Proceedings of the International Conference on Internet Multimedia Computing and Service (ICIMCS'16), 52-56(2016).
Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun,Xiaoyu Song, Ming Gu, Jiaguang Sun. Tsmart-GalsBlock: A Toolkit for Modeling,Validation, and Synthesis of Multi-clocked Embedded Systems. Proceeding of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2014), Hongkong, China, 2014.
HanLiu, Hehua Zhang, YuJiang, Xiaoyu Song, Ming Gu, Jiaguang Sun.  Application-specific Architecture Selection for Embedded Systems via Schedulability Analysis. The 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014), P131-134,2014.
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun. iDola: Bridge Modeling to Verification and Implementation of Interrupt-driven Systems.The 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014), P193-200, 2014.
Yu Jiang, Hehua Zhang, Han Liu, William N.N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun. System Reliability Calculation Based on the Run-time Analysis of Ladder Program. Proceeding of the 21st ACM SIGSOFT International Symposium on Foundations of Software Engineering（FSE 2013）, Saint Petersburg, Russian, p703-706, 2013.
Yu Jiang, Zhonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun. Design and Optimization of Multi-clocked Embedded Systems Using Formal Technique. Proceeding of the 21st ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2013), Saint Petersburg, Russian, p695-698, 2013.
Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiangguang Sun. Sequential Dependency and Reliability Analysis of Embedded System. Proceeding of the 18th ACM Asia and South Pacific Design Automation Conference (ASP-DAC 2013), Yokohama, Japan, p423-428, 2013.
Yu Jiang, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun. Verification and Implementation of the Protocol Standard in Train Control System. Proceeding of the 37th IEEE Annual International Computer, Software & Applications Conference, Kyoto (COMPSAC 2013), Japan, p549-558, 2013.
Fan Wu, Hehua Zhang,Ming Gu. DOPROPC: a domain property pattern system helping to specify control system. Proceeding of the 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), P695-698, 2013.