Zhan Song

Zhan Song

First-Year Computer Engineering Ph.D. Student at University of Maryland, College Park

About Me

I am a first-year Computer Engineering Ph.D. student at the University of Maryland, College Park, advised by Prof. Cunxi Yu. My research interests include Logic Synthesis, Formal Verification, and AI/LLM for EDA. 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

  • Logic Synthesis
  • Formal Verification
  • AI/LLM for EDA

📝 Publications

DAC 2025
sym

BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation

Jiaqi Yin*, Zhan Song* (co-first), Chen Chen, Qihao Hu, Cunxi Yu

Best Paper Nomination

  • Introducing a novel approach for symbolic reasoning using Boolean Equality Saturation

🏆 Awards and Honors

  • 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