My general research areas include computer architecture, embedded systems, VLSI design, and electronic
design automation. My research objective is design of secure, trustworthy, adaptive and resilient
(STAR) computing systems. Currently, my group is look at hardware security assurance
by investigating various design time and runtime methods and techniques, application of machine learning in
design automation, and formal verification and reasoning of cyber-physical systems.
Please go to the Publications page if you would
like to find out more about the work related to above research areas that we have done in the past.
I am constantly looking for highly dedicated and motivated students to work with on various research projects. See here for more information.