My research interests include Electronic Design Automation, Hardware Formal Verification and VLSI Design.