Research:
Fault-tolerant computer architecture Verification-aware microarchitecture Special-purpose processors Memory system design