Dependable Systems and Networks，VLSI Testing and Verification，Mobile Computing，Quantum Computing and Communication

Physical Design for Nanometer ICs，Design for Manufacturability，Electronic Design Automation，FPGA

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