Research in the area of computer-aided design with an emphasis on layout and logic synthesis of VLSI circuits and systems. Current projects include power verification and optimal designs for power-gating: an efficient technique for lowering power consumption and control leakage currents.