I am a Ph.D. student in VERITAS lab at Texas A&M University, under the supervision of Dr. Jiang Hu, Dr. Aakash Tyagi, and Prof. Michael Quinn. My research focuses on hardware design verification across simulation-based and formal verification, with an emphasis on ML- and agent-driven techniques for functional coverage closure, RTL root-cause analysis and debugging, and formal counterexample distillation.
Before joining Texas A&M, I received my B.E. degree in Automation from Xi’an Jiaotong University, China, in 2020. During my undergraduate study, I worked with Dr. Liangjun Ke on proposing an algorithm based on vision sensor and laser SLAM to perform positioning and mapping, solving the problems of insufficient positioning accuracy and inaccurate map construction of unmanned aerial vehicle (UAV). I also worked with Dr. Jianfu Cao on the applications of monocular camera and 2D lidar mixed simultaneous localization and mapping (SLAM). Also I was a student from the Special Class for the Gifted Young of Xi’an Jiaotong University.
📖 Educations
- 2023.09 - 2027.06 (now), Ph.D in Computer Engineering, Texas A&M University, College Station, TX, US.
- 2016.09 - 2020.09, B.E. in Automation, Xi’an Jiaotong University, Xi’an, China.
💻 Internships
- 2020.03 - 2020.12, Xi’an Jiaotong University, The State Key Laboratory of Multiphase Flow in Power Engineering, Xi’an, China.
- 2018.09 - 2019.06, Xi’an Jiaotong University, Information-technology Talent Program (ITP), Xi’an, China.
📝 Publications
- [C1] Chengjia Liu, Jnana Preeti Parlapalli, David Kebo Houngninou, Michael Quinn, Aakash Tyagi, Jiang Hu. “Improving Last-Mile Coverage in Functional Verification“. ACM/IEEE Symposium on Machine Learning for CAD (MLCAD), 2025.
- [J1] Chengjia Liu, Priyadarsi Mishra, David Kebo Houngninou, Michael Quinn, Aakash Tyagi, and Jiang Hu, “Formal-Verification-Guided Bayesian Optimization for Non-Intrusive Last-Mile Coverage Closure”, ACM Transactions on Design Automation of Electronic Systems (TODAES), under review.
🎓 Teaching
- [Teaching Assistant] 2025 Spring, ECEN 248: Introduction to Digital Systems Design
- [Teaching Assistant] 2025 Fall, ECEN 428/722: FPGA Information Processing Systems
- [Teaching Assistant] 2026 Spring, ECEN 449/749: Microprocessor System Design
- [Teaching Assistant] 2026 Fall, ESET 219: Digital Electronics