About Me

I am a second-year Computer Engineering Ph.D. student at the University of Maryland, College Park, advised by Prof. Cunxi Yu. My research interests include Agentic AI, Logic Synthesis, and Formal Verification. I welcome collaboration on any research projects in these areas - feel free to contact me at zhansong@umd.edu if you’re interested in working together.

You can find my CV here.

📖 Education

• Aug. 2024 - present, Ph.D. in Electrical and Computer Engineering, University of Maryland, College Park, USA

  Advisor: Prof. Cunxi Yu

• Sep. 2023 - June 2024, M.S. in Computer Science and Engineering (Artificial Intelligence), University of California, San Diego, USA

  Advisor: Prof. Chung-Kuan Cheng

• Sep. 2019 - June 2023, B.S. in Computer Science and Technology, Fudan University, Shanghai, China

  Advisor: Prof. Li Shang

🔬 Research Interests

• Agentic AI
• Logic Synthesis
• Formal Verification

📝 Publications

• e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving, Jiaqi Yin, Zhan Song, Chen Chen, Yaohui Cai, Zhiru Zhang, Cunxi Yu, Best Paper Nomination, ICCAD 2025

• BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation, Jiaqi Yin*, Zhan Song* (co-first), Chen Chen, Qihao Hu, Cunxi Yu, Best Paper Nomination, DAC 2025

• HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation, Jiaqi Yin, Zhan Song, Nicolas Bohm Agostini, Antonino Tumeo, Cunxi Yu, USENIX ATC 2025

• Noise-Aware Circuit Clustering based on Analytical Placement Evolution, Zhiyuan Chen, Chung-Kuan Cheng, Zhan Song (corresponding), Yucheng Wang, SLIP 2024

🏆 Awards and Honors

• Oct. 2025 Best Paper Nomination, International Conference on Computer-Aided Design (ICCAD 2025)
• June 2025 Best Paper Nomination, Design Automation Conference (DAC 2025)
• Aug. 2022 Second Prize, Invent Week Landing Awards, eBay China Center of Excellence (CCOE) (Top 5%)
• 2020, 2022, 2023 Fudan University Scholarship

💻 Work Experience

• Jan. 2022 - Sep. 2022, Software Engineer Intern, Payments & Risk Team, eBay, Shanghai, China

🛠️ Open-Source Frameworks

• e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving
• BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation
• Noise-Aware Circuit Clustering: Noise-Aware Circuit Clustering based on Analytical Placement Evolution