Physical Design for Nanometer ICs, 2.5D/3D Heterogeneous Integration, Design for Manufacturability, Electronic Design Automation, AI for EDA & EDA for AI

Real-Time Systems, Embedded Systems, Operating Systems, Storage Systems, Flash Memory

VLSI CAD．Microprocessor Design，RF Mix/Signal Circuit Design

Computer Architecture, ELS, Storage System"

Logic and System Synthesis, Formal Verification, Quantum Computation, Computation Models of Biochemical Systems.

Our research focuses on (1) Automatic Test Pattern Generation, ATPG (2) VLSI Diagnosis and Yield Improvement (3) Testing quantum circuits (4) Testing AI chips (5) Machine Learning for EDA (such as IR drop analysis) for more details, http://cc.ee.ntu.edu.tw/~cmli http://lads.ee.ntu.edu.tw

VLSI testing, automatic test equipment, hardware security and trust

http://dvlab.ee.ntu.edu.tw SoC Design Verification，Design Automation and Optimization，Design for Verifiability，Constraint Satisfication Problem (CSP)

Timing analysis and optimization，Engineering change order optimization，Physical design automation，Design for manufacturability，Machine learning based design automation

Systems and synthetic biology, Cell division

Microlithography processes and equipment, Design for manufacturability and variability of nanometer ICs, Nanoscale detection and servo systems, Multiobjective robust optimal control, System identification, Convenx optimization and its engineering applications