Areas of expertise are in VLSI CAD for low power, embedded systems design and optimization, statistical optimization for VLSI, stochastic methods as they are applied to VLSI design and testing, graph theoretic techniques for VLSI layout, formal verification, signal integrity analysis and low power design.