Research areas include:
Testing: VLSI Testing and Design for Testability (detecting physical defects)
Verification: Formal Hardware Verification and Software Testing (detecting and removing bugs in the design)
Resilient Systems: Design and Evaluation of Resilient Systems (dealing with faults during operation)
Hardware and System Security:Design of systems to prevent hardware Trojans and system intrusion attacks
Publications on Google Scholar
Use this map to find out more about specific research topics.
We gratefully acknowledge the support of the following funding agencies for research over the years