Portrait of Mingzhen Li

About

I am currently a postdoctoral researcher at the Chinese University of Hong Kong (CUHK), supervised by Prof. Bei Yu. My research focuses on electronic design automation (EDA) for analog circuits, with particular emphasis on representing analog design knowledge for AI —making domain expertise accessible to and actionable by AI systems.

Research Overview

Analog circuit design relies heavily on expert knowledge to navigate a vast and complex design space. By making such knowledge explicit and traceable, reasoning can guide design decisions and reduce unnecessary simulation-driven exploration. We therefore study how to represent this knowledge for AI:

  1. Symbolic analysis: generates symbolic expressions as explicit evidence for AI reasoning.
  2. Topology abstraction: extracts analog-specific signal paths for graph learning.
  3. Knowledge refinement: cleans, structures, and aligns design assets across multiple views for IP reuse.

Projects

Symbolic-Lite

A continuously maintained website supporting symbolic analysis and signal-path abstraction, with interactive schematic editing. A backend SDK for LLM integration is available upon request.

Hello-SPICE

A lightweight SPICE simulator for teaching.

Publications

Journal Papers

Conference Papers

Education

Academic Service

Teaching Experience

Related Work Experience