º£½ÇÉçÇø

Teaching Interests

digital logic, digital design, computer architecture, microarchitecture, programming

Research Interests

dependable computing, hardware validation and formal methods