His research interests include design automation for embedded systems, hardware/software verification, VLSI CAD, and automata theory. Specifically, his research objective is focused on developing tools, techniques and methodologies for specification analysis, automated software debugging, functional test generation and formal / semi-formal verification for embedded systems.