I am a fourth-year Ph.D. candidate at Hong Kong University of Science and Technology (Guangzhou) (HKUST(GZ)), advised by Prof. Hongce Zhang. I am also a visiting scholar at the University of Maryland, College Park, where I work closely with Prof. Cunxi Yu.
|
2022 - present
Ph.D. in Microelectronics, Hong Kong University of Science and Technology (Guangzhou)
|
|
M.S. in Electronic Engineering, The Hong Kong University of Science and Technology
|
|
B.S. in Electronic Information Technology, Macau University of Science and Technology
|
|
2024.09-2025.06
Visiting Scholar, University of Maryland, College Park (with Prof. Cunxi Yu on logic synthesis and ML for formal verification) |
|
2021.09-2022.02
Independent Study and Research, The Hong Kong University of Science and Technology (with Prof. Wei Zhang on High-Radix Fast Fourier Transform for CNN Accelerator on FPGA using HLS) |
[Google Scholar: 0k+ citations and an h-index of 1]
| 1. |
ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers Chen Chen, Daniela Kaufmann, Chenhui Deng, Hongce Zhang, and Cunxi Yu TACAS 2026 |
| 2. |
eLogic: A E-Graph-based Logic Rewriting Framework for Majority-Inverter Graphs Rongliang Fu, Wei Xuan, Shuo Yin, Guangyu Hu, Chen Chen, Hongce Zhang, Bei Yu, and Tsung-Yi Ho DATE 2026 |
| 3. |
Revisit Choice Network for Synthesis and Technology Mapping Chen Chen, Jiaqi Yin, and Cunxi Yu ICCAD 2025 |
| 4. |
e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving Jiaqi Yin, Zhan Song, Chen Chen, Yaohui Cai, Zhiru Zhang, and Cunxi Yu ICCAD 2025 |
| 5. |
ReVEAL: Reverse Engineering of Multiplier Architectures via Graph Learning for Computer Algebra Verification Chen Chen, Daniela Kaufmann, Chenhui Deng, Hongce Zhang, and Cunxi Yu IWLS 2025 |
| 6. |
E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis Chen Chen *, Guangyu Hu *, Cunxi Yu, Yuzhe Ma, and Hongce Zhang DAC 2025 |
| 7. |
BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation Jiaqi Yin, Zhan Song, Chen Chen, Qihao Hu, and Cunxi Yu DAC 2025 |
| 8. |
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis Chen Chen *, Guangyu Hu *, and Zuo Dongsheng, Cunxi Yu, Yuzhe Ma, and Hongce Zhang DAC 2024 |
|
2025
Best Paper Nomination at ICCAD
|
|
2025
Best Paper Nomination at DAC
|
|
2023
|
| The 19th International Conference on Integrated Formal Methods (IFM2024) |
| The 20th International Conference on Integrated Formal Methods (IFM2025) |
| The 31th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS2025) |
| ACM Transactions on Embedded Computing Systems (TECS) |
Last updated on 2025-12-25