I am a third-year Ph.D. candidate at Hong Kong University of Science and Technology (Guangzhou) (HKUST(GZ)), advised by Prof. Hongce Zhang, and a visiting scholar at the University of Maryland, College Park, where I collaborate closely with Prof. Cunxi Yu.
If you are interested in my research, feel free to reach out for a discussion or potential collaboration!
|
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: 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 |
| 2. |
E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis Chen Chen *, Guangyu Hu *, Cunxi Yu, Yuzhe Ma, and Hongce Zhang DAC 2025 |
| 3. |
BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation Jiaqi Yin, Zhan Song, Chen Chen, Qihao Hu, and Cunxi Yu DAC 2025 (Best Paper Nomination) |
| 4. |
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 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) |
Last updated on 2025-06-15