Research Interests:
- Embedded and cyber-physical systems
- Hardware verification
- Electronic design automation
Keywords/Tags:
- Embedded and cyber-physical systems
- Hardware verification
- Electronic design automation
My area of research expertise is broadly defined as computer architecture.
More specifically, I am interested in the architecture and system level design, verification, and testing of embedded systems, cyber-physical systems (CPS), Internet of Things (IoT) devices, and complex digital VLSI systems-on-chip (SoCs).
Research:
- Design Tools and Techniques for Cyber-physical Systems
- Intelligent Design and Verification for Digital Systems