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