2022年9月 — 今：中科院计算所，高级工程师

2011年9月 — 2022年9月：中科院计算所，工程师

2009年7月 — 2011年9月：中科院计算所，助理工程师

2006年9月 — 2009年7月：中科院计算所，计算机系统结构，硕士生

[1] Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li: Evaluating and Constraining Hardware Assertions with Absent Scenarios, Journal of Computing Science and Technology(JCST), 2020, Vol.35, No.5, pp.1198-1216.

[2] Huina Chao, Huawei Li, Xiaoyu Song, Tiancheng Wang, Xiaowei Li: On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios. Proceedings of IEEE 26th Asian Test Symposium(ATS), 2017: 195-200

[3] 周艳红，王天成，李华伟，吕涛，李晓维：基于路径约束求解的多目标状态激励生成方法，计算机学报，2016年9期：1829-1842。

[4] 杨爽，王天成，李华伟：一款基于SPARC V8指令集体系结构的系统芯片的功能验证，南通大学学报（自然科学版），2016年4期：9-16。

[5] 周君，李华伟，王天成，李晓维：面向3维片上网络的轻量级细粒度容错机制，计算机研究与发展，2016年2期：341-353。

[6] Yanhong Zhou, Tiancheng Wang, Huawei Li, Tao Lv, Xiaowei Li: Functional Test Generation for Hard-to-reach States Using Path Constraint Solving, IEEE Transaction on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2016, Vol. 35, No.6, pp.999-1011.

[7] Jian Wang, Huawei Li, Tao Lv, Tiancheng Wang, Xiaowei Li, Sandip Kundu: Abstraction-Guided Simulation Using Markov Analysis for Functional Verification, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2016, Vol.35, No. 2, pp. 285-297.

[8] Huina Chao, Huawei Li, Tiancheng Wang, Xiaowei Li and Bo Liu: An accurate algorithm for computing mutation coverage in model checking, Proceedings. of IEEE 47th International Test Conference (ITC), 2016, Paper 16.2.

[9] Yingxin Qiu, Huawei Li, Tiancheng Wang, Bo Liu, Yingke Gao, Xiaowei Li: Property Coverage Analysis Based Trustworthiness Verification for Potential Threats from EDA Tools. Proceedings of IEEE 25th Asian Test Symposium(ATS), 2016: 43-48.

[10] Yanhong Zhou, Huawei Li, Tiancheng Wang, Bo Liu, Yingke Gao, Xiaowei Li: Path Constraint Solving based Test Generation for Observability-enhanced Branch Coverage, Proceedings of IEEE 34th VLSI Test Symposium (VTS), 2016, Paper 1B-2.

[11] 刘婧，王天成，王健，李华伟：基于指令模板的通用处理器约束随机指令生成方法，计算机工程，2015年10期：309-313。

[12] Yanhong Zhou, Tiancheng Wang, Tao Lv, Huawei Li, Xiaowei Li: Path Constraint Solving Based Test Generation for Hard-to-Reach States. Proceedings of IEEE 22th Asian Test Symposium(ATS), 2013: 239-244.

[1] 航天院所合作项目：微处理器类器件指令集验证，项目负责人；

[2] 航天院所开放课题：硬件木马的静态检测方法研究，项目负责人；

[3] 航天院所合作项目：XXXX芯片设计验证，执行负责人

[4] 航天院所合作项目：SoCXXXX功能验证，执行负责人

[5] 科研院所合作项目：IP功能验证及板级调试，执行负责人

[5] 国家重点研发计划（课题）：车载核心控制芯片可靠性与功能安全性关键技术研究，课题骨干

[6] 国家自然科学基金重大项目：专用处理器智能生成，课题骨干

[7] 国家自然科学基金重点项目：差错容忍计算器件基础理论与方法，课题骨干

[8] 国家重点基础研究发展计划（973计划）课题：高性能处理芯片的设计验证与测试，课题骨干

中科院计算所优秀工程师（2013，2015）

中科院计算所优秀共产党员（2016、2021）